2018-08-26 21:45:34 +00:00
|
|
|
# HG changeset patch
|
|
|
|
# Parent 7ecf75281e09a29875b61f38bb66920529368050
|
|
|
|
|
|
|
|
diff --git a/XTerm.ad b/XTerm.ad
|
|
|
|
--- a/XTerm.ad
|
|
|
|
+++ b/XTerm.ad
|
|
|
|
@@ -111,19 +111,19 @@
|
|
|
|
|
|
|
|
! don't use the compiled in default of "*" for ximFont because this
|
|
|
|
! leads to very slow startup times for zh_CN.UTF-8 and zh_HK.UTF-8 locales
|
|
|
|
! (For details see https://bugzilla.novell.com/show_bug.cgi?id=464930):
|
|
|
|
*ximFont: fixed
|
2018-07-12 10:41:48 +00:00
|
|
|
|
|
|
|
*fontMenu.Label: VT Fonts
|
|
|
|
*fontMenu*fontdefault*Label: Default
|
|
|
|
-*VT100.font: -misc-fixed-medium-r-semicondensed-*-13-120-75-75-c-60-iso10646-1
|
|
|
|
-*VT100.wideFont: -misc-fixed-medium-r-normal-*-13-120-75-75-c-120-iso10646-1
|
|
|
|
-*VT100.wideBoldFont: -misc-fixed-medium-r-normal-*-13-120-75-75-c-120-iso10646-1
|
|
|
|
+*VT100*font: -misc-fixed-medium-r-normal-*-18-120-100-100-c-90-iso10646-1
|
|
|
|
+*VT100*boldfont: -misc-fixed-bold-r-normal-*-18-120-100-100-c-90-iso10646-1
|
|
|
|
+*VT100*wideFont: -misc-fixed-medium-r-normal-*-18-120-100-100-c-180-iso10646-1
|
|
|
|
|
|
|
|
*fontMenu*font1*Label: Unicode Best
|
|
|
|
*VT100.font1: -misc-fixed-medium-r-normal-*-18-120-100-100-c-90-iso10646-1
|
2018-08-26 21:45:34 +00:00
|
|
|
*VT100.wideFont1: -misc-fixed-medium-r-normal-*-18-120-100-100-c-180-iso10646-1
|
|
|
|
!*VT100.font1: nil2
|
|
|
|
!*VT100.wideFont1:
|
|
|
|
*IconFont: nil2
|
|
|
|
*fontMenu*font2*Label: Tiny
|