+static GdkFont *g_systemDefaultGuiFont = (GdkFont*) NULL;
+
+static GdkFont *GtkGetDefaultGuiFont()
+{
+ if (!g_systemDefaultGuiFont)
+ {
+ GtkWidget *widget = gtk_button_new();
+ GtkStyle *def = gtk_rc_get_style( widget );
+ g_systemDefaultGuiFont = gdk_font_ref( def->font );
+ gtk_widget_destroy( widget );
+ }
+ return g_systemDefaultGuiFont;
+}
+