--- src/style.c.orig	Sun Oct  7 08:34:37 2001
+++ src/style.c	Mon Oct 22 20:50:21 2001
@@ -81,6 +81,7 @@
 
 		/* Worst case scenario */
 		font->gdk_font = gnome_display_font_get_gdk_font (font->dfont);
+		font->gdk_font = gdk_fontset_load(_("fixed"));
 		if (font->gdk_font == NULL)
 			/* xgettext:
 			 * The name of the default font for this locale.
