diff options
author | Karl Berry <karl@freefriends.org> | 2017-04-01 21:30:49 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-04-01 21:30:49 +0000 |
commit | c4df601f3413d12ee1ae1348cbd63c0016a077b0 (patch) | |
tree | ddb43f70171c13ddc2b7ecae459783932cefc72e /Master/texmf-dist/xdvi/XDvi | |
parent | 2eecb3520617a4ec9b242167d8af56aafde4a9af (diff) |
XDvi resource upgrade to avoid "Cannot convert string ... to type FontStruct"
git-svn-id: svn://tug.org/texlive/trunk@43673 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/xdvi/XDvi')
-rw-r--r-- | Master/texmf-dist/xdvi/XDvi | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/texmf-dist/xdvi/XDvi b/Master/texmf-dist/xdvi/XDvi index 3e0f4984e4c..99e0533a3b9 100644 --- a/Master/texmf-dist/xdvi/XDvi +++ b/Master/texmf-dist/xdvi/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. |