rem: style_general = gtk_widget_get_default_style ();
context: void choix_fonte_general ( GtkWidget *bouton,			   gchar *fonte,			   gpointer null ){  GdkFont *font;  gchar * fontname;  GtkWidget * dialog;  GtkStyle * style_general;  gint i;  dialog = gtk_font_selection_dialog_new (COLON(_("General font")));  if (fonte_general)    gtk_font_selection_dialog_set_font_name (GTK_FONT_SELECTION_DIALOG(dialog), 					     fonte_general);  gtk_window_set_modal ( GTK_WINDOW ( dialog ), 			 TRUE );  switch ( gtk_dialog_run ( GTK_DIALOG ( dialog ) ) )    {    case GTK_RESPONSE_OK:      fontname = gtk_font_selection_dialog_get_font_name (GTK_FONT_SELECTION_DIALOG(dialog));      gtk_widget_destroy (dialog);        update_font_button (general_font_name_label, general_font_size_label, 			  fontname);      gtk_widget_destroy (dialog);      break;    default:      gtk_widget_destroy (dialog);      return;    }  fonte_general = fontname;  style_general = gtk_widget_get_style ( window );  gtk_style_set_font (style_general, gdk_font_load ( fonte_general ));  style_general = gtk_widget_get_default_style ();  gtk_style_set_font (style_general, gdk_font_load ( fonte_general ));  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 (); */    }}