+ if (!g_systemBtnFaceColour)
+ {
+ GtkWidget *widget = gtk_button_new();
+ GtkStyle *def = gtk_rc_get_style( widget );
+ if (!def)
+ def = gtk_widget_get_default_style();
+ if (def)
+ {
+ int red = def->bg[GTK_STATE_NORMAL].red;
+ int green = def->bg[GTK_STATE_NORMAL].green;
+ int blue = def->bg[GTK_STATE_NORMAL].blue;
+ g_systemBtnFaceColour =
+ new wxColour( red >> SHIFT,
+ green >> SHIFT,
+ blue >> SHIFT );
+ }
+ else
+ {
+ g_systemBtnFaceColour =
+ new wxColour( 0 >> SHIFT,
+ 0 >> SHIFT,
+ 0x9c40 >> SHIFT );
+ }
+ gtk_widget_destroy( widget );
+
+ }
+ return *g_systemBtnFaceColour;
+ /*