1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
--- texk/xdvik/texmf/XDvi.orig 2019-07-27 23:56:27 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,26 +118,32 @@ 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:
*tipShell.waitPeriod: 800
+!!! 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 +153,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'.
|
