rem: 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 );
add: 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 );
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 );  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 ();}