--- src/gI_help.c.orig	Sun Apr  2 02:47:20 2000
+++ src/gI_help.c	Sun Apr  2 02:52:39 2000
@@ -370,8 +370,8 @@
 
 		/* FIXME: We should let the user select which font they want */
 
-		normal = gdk_font_load ("-misc-fixed-medium-r-normal-*-*-120-*-*-c-*-iso8859-1");
-		bold = gdk_font_load ("-misc-fixed-bold-r-normal-*-*-120-*-*-c-*-iso8859-1");
+		normal = gdk_fontset_load ("-misc-fixed-medium-r-normal-*-*-120-*-*-c-*-iso8859-1,*");
+		bold = gdk_fontset_load ("-misc-fixed-bold-r-normal-*-*-120-*-*-c-*-iso8859-1,*");
 
 		hbox_man_ctrls = gtk_hbox_new( FALSE, 4 );
 		gtk_container_add( GTK_CONTAINER( vbox_main ), hbox_man_ctrls );
