diff options
author | Karl Berry <karl@freefriends.org> | 2016-04-05 22:50:13 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-04-05 22:50:13 +0000 |
commit | 52e905992c395638cf339bcd463c71b197fc03b9 (patch) | |
tree | 88970c53454646c3953c29970ee9c81762b0f019 /Build/source/texk/xdvik/texmf | |
parent | b56b320b5e2515160073fa1b469514002688fe11 (diff) |
import xdvik-22.87.03
git-svn-id: svn://tug.org/texlive/trunk@40253 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/xdvik/texmf')
-rw-r--r-- | Build/source/texk/xdvik/texmf/XDvi | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/texk/xdvik/texmf/XDvi b/Build/source/texk/xdvik/texmf/XDvi index 3e0f4984e4c..99e0533a3b9 100644 --- a/Build/source/texk/xdvik/texmf/XDvi +++ b/Build/source/texk/xdvik/texmf/XDvi @@ -125,7 +125,7 @@ Ctrl<Btn5Down>:set-shrink-factor(-)\n\ !!!------------------------------------------------------------------------------ !!! background color and font: *tipShell.background: cornsilk -*tipShell.fontSet: -*-helvetica-medium-r-*-*-12-*-*-*-*-*-* +*tipShell.fontSet: -*-helvetica-medium-r-*-*-12-*-*-*-*-*-*-* !!! time the mouse needs to stay on a button until tooltips pop up, !!! in milliseconds; set to a negative value to disable: @@ -135,9 +135,9 @@ Ctrl<Btn5Down>:set-shrink-factor(-)\n\ !!!------------------------------------------------------------------------------ !!!------------------------------ Fonts and colors ------------------------------ !!!------------------------------------------------------------------------------ -*font: -*-helvetica-medium-r-*-*-12-*-*-*-*-*-* +*font: -*-helvetica-medium-r-*-*-12-*-*-*-*-*-*-* !!! Use a smaller font for the statusline in the Xaw version: -*statusline.font: -*-helvetica-medium-r-*-*-10-*-*-*-*-*-* +*statusline.font: -*-helvetica-medium-r-*-*-10-*-*-*-*-*-*-* !!! Motif fonts. Meaning of the tags is: !!! NORMAL: Ordinary text, labels etc. |