rem: gtk_widget_destroy ( GNOME_APP ( window ) -> menubar ); GNOME_APP ( window ) -> menubar = NULL; gnome_app_create_menus ( GNOME_APP ( window ),
add: gnome_app_create_menus ( GNOME_APP ( window ),
context: void choix_fonte_general ( GtkWidget *bouton,			   gchar *fonte,			   gpointer null ){  GtkStyle *style_general;  fonte_general = g_strdup ( fonte );  style_general = gtk_widget_get_style ( window );  style_general -> font = gdk_font_load ( fonte );  style_general = gtk_widget_get_default_style ();  style_general -> font = gdk_font_load ( fonte );  if ( nb_comptes )    {      gtk_notebook_set_page ( GTK_NOTEBOOK ( GNOME_PROPERTY_BOX ( fenetre_preferences ) -> notebook ),			      0 );      gtk_notebook_set_page ( GTK_NOTEBOOK ( GNOME_PROPERTY_BOX ( fenetre_preferences ) -> notebook ),			      3 );      gtk_widget_destroy ( notebook_general );      gtk_widget_destroy ( GNOME_APP ( window ) -> menubar );      GNOME_APP ( window ) -> menubar = NULL;      gnome_app_create_menus ( GNOME_APP ( window ), 			       menu_principal );      ouverture_confirmee ();    }}