+void wxChoice::SetFont( const wxFont &font )
+{
+ wxWindow::SetFont( font );
+
+ GtkMenuShell *menu_shell = GTK_MENU_SHELL( gtk_option_menu_get_menu( GTK_OPTION_MENU(m_widget) ) );
+ GList *child = menu_shell->children;
+ while (child)
+ {
+ GtkBin *bin = GTK_BIN( child->data );
+ GtkWidget *label = (GtkWidget *) NULL;
+ if (bin->child) label = bin->child;
+ if (!label) label = GTK_BUTTON(m_widget)->child;
+
+ gtk_widget_set_style( label,
+ gtk_style_ref(
+ gtk_widget_get_style( m_widget ) ) );
+
+ child = child->next;
+ }
+}