[2503] | 1 | diff -up ptexlive-20100711/build/texlive-20091107-source/texk/xdvik/texmf/XDvi.orig ptexlive-20100711/build/texlive-20091107-source/texk/xdvik/texmf/XDvi |
---|
| 2 | --- ptexlive-20100711/build/texlive-20091107-source/texk/xdvik/texmf/XDvi.orig 2008-07-02 00:42:36.000000000 +0900 |
---|
| 3 | +++ ptexlive-20100711/build/texlive-20091107-source/texk/xdvik/texmf/XDvi 2011-01-15 11:27:58.000000000 +0900 |
---|
| 4 | @@ -118,14 +118,16 @@ Ctrl<Btn5Down>:set-shrink-factor(-)\n\ |
---|
| 5 | |
---|
| 6 | |
---|
| 7 | !!! help topics label for Xaw |
---|
| 8 | -*help_label.font: -*-helvetica-bold-r-*-*-14-*-*-*-*-*-*-* |
---|
| 9 | +!*help_label.font: -*-helvetica-bold-r-*-*-14-*-*-*-*-*-*-* |
---|
| 10 | +*help_label.font: -*-*-bold-r-*-*-14-*-*-*-*-*-*-* |
---|
| 11 | |
---|
| 12 | !!!------------------------------------------------------------------------------ |
---|
| 13 | !!!-------------------------------- Motif tooltips ------------------------------ |
---|
| 14 | !!!------------------------------------------------------------------------------ |
---|
| 15 | !!! background color and font: |
---|
| 16 | *tipShell.background: cornsilk |
---|
| 17 | -*tipShell.fontSet: -*-helvetica-medium-r-*-*-12-*-*-*-*-*-* |
---|
| 18 | +!*tipShell.fontSet: -*-helvetica-medium-r-*-*-12-*-*-*-*-*-*-*,-*-*-medium-r-*-*-12-*-*-*-*-*-*-* |
---|
| 19 | +*tipShell.fontSet: -*-*-medium-r-*-*-12-*-*-*-*-*-*-* |
---|
| 20 | |
---|
| 21 | !!! time the mouse needs to stay on a button until tooltips pop up, |
---|
| 22 | !!! in milliseconds; set to a negative value to disable: |
---|
| 23 | @@ -135,9 +137,15 @@ Ctrl<Btn5Down>:set-shrink-factor(-)\n\ |
---|
| 24 | !!!------------------------------------------------------------------------------ |
---|
| 25 | !!!------------------------------ Fonts and colors ------------------------------ |
---|
| 26 | !!!------------------------------------------------------------------------------ |
---|
| 27 | -*font: -*-helvetica-medium-r-*-*-12-*-*-*-*-*-* |
---|
| 28 | +!*font: -*-helvetica-medium-r-*-*-12-*-*-*-*-*-*-* |
---|
| 29 | +!*fontSet: -*-helvetica-medium-r-*-*-12-*-*-*-*-*-*-*,-*-*-medium-r-*-*-12-*-*-*-*-*-*-* |
---|
| 30 | +*font: -*-*-medium-r-*-*-12-*-*-*-*-*-*-* |
---|
| 31 | +*fontSet: -*-*-medium-r-*-*-12-*-*-*-*-*-*-* |
---|
| 32 | !!! Use a smaller font for the statusline in the Xaw version: |
---|
| 33 | -*statusline.font: -*-helvetica-medium-r-*-*-10-*-*-*-*-*-* |
---|
| 34 | +!*statusline.font: -*-helvetica-medium-r-*-*-10-*-*-*-*-*-*-* |
---|
| 35 | +!*statusline.fontSet: -*-helvetica-medium-r-*-*-10-*-*-*-*-*-*-*,-*-*-medium-r-*-*-10-*-*-*-*-*-*-* |
---|
| 36 | +*statusline.font: -*-*-medium-r-*-*-10-*-*-*-*-*-*-* |
---|
| 37 | +*statusline.fontSet: -*-*-medium-r-*-*-10-*-*-*-*-*-*-* |
---|
| 38 | |
---|
| 39 | !!! Motif fonts. Meaning of the tags is: |
---|
| 40 | !!! NORMAL: Ordinary text, labels etc. |
---|
| 41 | @@ -147,11 +155,11 @@ Ctrl<Btn5Down>:set-shrink-factor(-)\n\ |
---|
| 42 | !!! TOPIC_HEADING: Heading for help text in help window |
---|
| 43 | !!! |
---|
| 44 | *fontList: \ |
---|
| 45 | --*-helvetica-medium-r-*-*-12-*-*-*-*-*-*-*=NORMAL,\ |
---|
| 46 | --*-helvetica-medium-r-*-*-12-*-*-*-*-*-*-*=UNMARKED,\ |
---|
| 47 | --*-helvetica-bold-r-*-*-12-*-*-*-*-*-*-*=MARKED,\ |
---|
| 48 | --*-helvetica-bold-r-*-*-12-*-*-*-*-*-*-*=TOPIC_LABEL,\ |
---|
| 49 | --*-helvetica-bold-r-*-*-14-*-*-*-*-*-*-*=TOPIC_HEADING |
---|
| 50 | +-*-*-medium-r-*-*-12-*-*-*-*-*-*-*=NORMAL,\ |
---|
| 51 | +-*-*-medium-r-*-*-12-*-*-*-*-*-*-*=UNMARKED,\ |
---|
| 52 | +-*-*-bold-r-*-*-12-*-*-*-*-*-*-*=MARKED,\ |
---|
| 53 | +-*-*-bold-r-*-*-12-*-*-*-*-*-*-*=TOPIC_LABEL,\ |
---|
| 54 | +-*-*-bold-r-*-*-14-*-*-*-*-*-*-*=TOPIC_HEADING |
---|
| 55 | |
---|
| 56 | |
---|
| 57 | !!! Color used for page border, image bounding boxes and the ruler in `Ruler mode'. |
---|
| 58 | @@ -368,3 +376,24 @@ Ctrl<Btn5Down>:set-shrink-factor(-)\n\ |
---|
| 59 | !!!-------------- used for internal checking - DO NOT CHANGE THIS! -------------- |
---|
| 60 | !!!------------------------------------------------------------------------------ |
---|
| 61 | *appDefaultsFileVersion: 20030303 |
---|
| 62 | + |
---|
| 63 | + |
---|
| 64 | +!!! ------- added by Vine Linux ------- |
---|
| 65 | + |
---|
| 66 | +!*.shrinkFactor: 5 |
---|
| 67 | +!*.geometry: 950x700+0+0 |
---|
| 68 | +!*.expert: true |
---|
| 69 | +!*.smallPanel: false |
---|
| 70 | + |
---|
| 71 | +*.editor: emacsclient --no-wait +%l %f |
---|
| 72 | +!*.editor: gnuclient -q +%l %f |
---|
| 73 | +!*.editor: gvim --servername xdvi --remote +%l %f |
---|
| 74 | +!*.editor: nc -noask +%l %f |
---|
| 75 | + |
---|
| 76 | +*.wwwBrowser: firefox %s |
---|
| 77 | +!*.wwwBrowser: mozilla -remote "openURL(%s,new-tab)" |
---|
| 78 | +!*.wwwBrowser: mozilla -remote "openURL(%s,new-window)" |
---|
| 79 | +!*.wwwBrowser: htmlview %s |
---|
| 80 | +!*.wwwBrowser: xterm -e w3m %s |
---|
| 81 | +!*.wwwBrowser: xterm -e lynx %s |
---|
| 82 | +!*.wwwBrowser: xterm -e wget %s |
---|
| 83 | |
---|
| 84 | Diff finished. Sat Jan 15 11:29:00 2011 |
---|
| 85 | |
---|
| 86 | diff -up ptexlive-20100711/build/texlive-20091107-source/texk/xdvik/xdvi-sh.in\~ ptexlive-20100711/build/texlive-20091107-source/texk/xdvik/xdvi-sh.in |
---|
| 87 | --- ptexlive-20100711/build/texlive-20091107-source/texk/xdvik/xdvi-sh.in~ 2008-07-02 00:42:36.000000000 +0900 |
---|
| 88 | +++ ptexlive-20100711/build/texlive-20091107-source/texk/xdvik/xdvi-sh.in 2011-01-15 11:17:06.990570552 +0900 |
---|
| 89 | @@ -50,4 +50,8 @@ if test -n "$xdviappfile"; then |
---|
| 90 | XFILESEARCHPATH="$xdviapppath:${XFILESEARCHPATH-%D}"; export XFILESEARCHPATH |
---|
| 91 | fi |
---|
| 92 | |
---|
| 93 | +# Forcely avoid to show |
---|
| 94 | +# Warning: Missing charsets in String to FontSet conversion |
---|
| 95 | +export LANG=C |
---|
| 96 | + |
---|
| 97 | exec @final_exec_name@ $NAMEOPT ${1+"$@"} |
---|
| 98 | |
---|
| 99 | Diff finished. Sat Jan 15 11:17:12 2011 |
---|