blob: e7ee23b97eea1f78a5d48abb9fe6fd906de34f95 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
--- src/style.c.orig Tue Sep 19 09:41:02 2000
+++ src/style.c Mon Oct 30 23:11:36 2000
@@ -70,9 +70,9 @@
}
/* Worst case scenario */
- font->gdk_font = gnome_display_font_get_gdk_font (font->dfont);
+ font->gdk_font = gdk_fontset_load ("-*-medium-r-normal-*-14-*-iso8859-1,-*-medium-r-normal--14-*-*-*-*-*-big5-0");
if (font->gdk_font == NULL)
- font->gdk_font = gdk_font_load ("fixed");
+ font->gdk_font = gdk_fontset_load ("-*-medium-r-normal-*-14-*-iso8859-1,-*-medium-r-normal--14-*-*-*-*-*-big5-0");
else
gdk_font_ref (font->gdk_font);
|
