diff options
| author | Karl Berry <karl@freefriends.org> | 2019-03-25 17:26:20 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2019-03-25 17:26:20 +0000 |
| commit | d1d0786e8db8a79f6f6f7ef0e8e3bb9e7ee81486 (patch) | |
| tree | 8003b5e664649a98771136842c2c182077f1c868 /Master/texmf-dist/texdoctk/texdocrc-win32.defaults | |
| parent | b9247c163236be845cd95e06e122d2761686a59d (diff) | |
texdoctk warn if no tk, avoid tdcolors warning
git-svn-id: svn://tug.org/texlive/trunk@50582 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/texdoctk/texdocrc-win32.defaults')
| -rw-r--r-- | Master/texmf-dist/texdoctk/texdocrc-win32.defaults | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Master/texmf-dist/texdoctk/texdocrc-win32.defaults b/Master/texmf-dist/texdoctk/texdocrc-win32.defaults index d524ae99791..3f1aabb8349 100644 --- a/Master/texmf-dist/texdoctk/texdocrc-win32.defaults +++ b/Master/texmf-dist/texdoctk/texdocrc-win32.defaults @@ -51,4 +51,8 @@ TXTPS_REDIR=yes PRINT_CMD=lpr PRINT_OPTS=-h -Plp +# button colours: default and active back-/foreground +# names and RGB values are both allowed; use the form #xxxxxx for RGB +TDCOLORS=#d9d9d9 Black #ececec red + # end of config |