diff options
author | Muhammad Moinur Rahman <bofh@FreeBSD.org> | 2022-03-17 19:54:14 -0500 |
---|---|---|
committer | Muhammad Moinur Rahman <bofh@FreeBSD.org> | 2022-03-17 19:58:12 -0500 |
commit | 10cb4eaa8cc89aee25a8def73fd9470f75090d70 (patch) | |
tree | 58f5d7dbc6ae51b13e8dd4ebf5400a04a6b7c960 /print/tex-xdvik/files/patch-texk-xdvik-texmf-XDvi | |
parent | sysutils/screen: Update to 4.9.0 (diff) |
print/tex-xdvik: Update version 22.87=>22.87.06
While upgradingthe extra japanese ptex patches has been removed as those
are not compatible with latest version and the old patches are also from
early 2008. If someone make those work with the new version the patches
are welcome. For further details or the older version of tex-xdvik with
those patches please use japanese/ja-tex-xdvik
Relnotes: https://sourceforge.net/projects/xdvi/files/xdvik/22.87.06/
Diffstat (limited to 'print/tex-xdvik/files/patch-texk-xdvik-texmf-XDvi')
-rw-r--r-- | print/tex-xdvik/files/patch-texk-xdvik-texmf-XDvi | 70 |
1 files changed, 0 insertions, 70 deletions
diff --git a/print/tex-xdvik/files/patch-texk-xdvik-texmf-XDvi b/print/tex-xdvik/files/patch-texk-xdvik-texmf-XDvi deleted file mode 100644 index 40b8f4fadb6c..000000000000 --- a/print/tex-xdvik/files/patch-texk-xdvik-texmf-XDvi +++ /dev/null @@ -1,70 +0,0 @@ ---- texk/xdvik/texmf/XDvi.orig 2012-03-28 14:46:30 UTC -+++ texk/xdvik/texmf/XDvi -@@ -21,7 +21,7 @@ - !!! and greater flexibility for shrink values. Generating MF fonts shouldn't be an - !!! issue when using T1lib. - !*mfMode: ljfour --*paper: a4 -+*paper: libpaper - - !!! This should be the best choice for modern displays with large color depth. - *thorough: true -@@ -118,14 +118,14 @@ Ctrl<Btn5Down>:set-shrink-factor(-)\n\ - - - !!! help topics label for Xaw --*help_label.font: -*-helvetica-bold-r-*-*-14-*-*-*-*-*-*-* -+*help_label.font: -*-*-bold-r-*-*-14-*-*-*-*-*-*-* - - !!!------------------------------------------------------------------------------ - !!!-------------------------------- Motif tooltips ------------------------------ - !!!------------------------------------------------------------------------------ - !!! background color and font: - *tipShell.background: cornsilk --*tipShell.fontSet: -*-helvetica-medium-r-*-*-12-*-*-*-*-*-* -+*tipShell.fontSet: -*-*-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: -@@ -133,11 +133,22 @@ Ctrl<Btn5Down>:set-shrink-factor(-)\n\ - - - !!!------------------------------------------------------------------------------ -+!!!-------------------------------- Xaw i18n ------------------------------------ -+!!!------------------------------------------------------------------------------ -+!!! note: when i18n'ed, *font and *fontSet should have same size of font -+*international: true -+*inputMethod: kinput2 -+*preeditType: OverTheSpot,OffTheSpot,Root -+!!! note: xdviSelFile can not be i18n'ed (bug?) -+xdviSelFile*international: false -+ -+ -+!!!------------------------------------------------------------------------------ - !!!------------------------------ Fonts and colors ------------------------------ - !!!------------------------------------------------------------------------------ --*font: -*-helvetica-medium-r-*-*-12-*-*-*-*-*-* -+*font: -*-*-medium-r-*-*-12-*-*-*-*-*-*-* - !!! Use a smaller font for the statusline in the Xaw version: --*statusline.font: -*-helvetica-medium-r-*-*-10-*-*-*-*-*-* -+*statusline.font: -*-*-medium-r-*-*-10-*-*-*-*-*-*-* - - !!! Motif fonts. Meaning of the tags is: - !!! NORMAL: Ordinary text, labels etc. -@@ -147,11 +158,11 @@ Ctrl<Btn5Down>:set-shrink-factor(-)\n\ - !!! TOPIC_HEADING: Heading for help text in help window - !!! - *fontList: \ ---*-helvetica-medium-r-*-*-12-*-*-*-*-*-*-*=NORMAL,\ ---*-helvetica-medium-r-*-*-12-*-*-*-*-*-*-*=UNMARKED,\ ---*-helvetica-bold-r-*-*-12-*-*-*-*-*-*-*=MARKED,\ ---*-helvetica-bold-r-*-*-12-*-*-*-*-*-*-*=TOPIC_LABEL,\ ---*-helvetica-bold-r-*-*-14-*-*-*-*-*-*-*=TOPIC_HEADING -+-*-*-medium-r-*-*-12-*-*-*-*-*-*-*=NORMAL,\ -+-*-*-medium-r-*-*-12-*-*-*-*-*-*-*=UNMARKED,\ -+-*-*-bold-r-*-*-12-*-*-*-*-*-*-*=MARKED,\ -+-*-*-bold-r-*-*-12-*-*-*-*-*-*-*=TOPIC_LABEL,\ -+-*-*-bold-r-*-*-14-*-*-*-*-*-*-*=TOPIC_HEADING - - - !!! Color used for page border, image bounding boxes and the ruler in `Ruler mode'. |