void classbrowser_show_hide(GtkWidget *widget) { gboolean hidden = get_preferences_manager_classbrowser_status(main_window.prefmg); menubar_set_classbrowser_status(MENUBAR(main_window.menu), hidden); if (hidden == 1) classbrowser_show(); else classbrowser_hide(); }
static void main_window_create_panes(void) { main_window.main_vertical_pane = gtk_vpaned_new (); gtk_widget_show (main_window.main_vertical_pane); gnome_app_set_contents (GNOME_APP (main_window.window), main_window.main_vertical_pane); main_window.main_horizontal_pane = gtk_hpaned_new (); gtk_widget_show (main_window.main_horizontal_pane); gtk_paned_pack1 (GTK_PANED (main_window.main_vertical_pane), main_window.main_horizontal_pane, FALSE, TRUE); gtk_signal_connect (GTK_OBJECT (main_window.window), "size_allocate", GTK_SIGNAL_FUNC (classbrowser_accept_size), NULL); move_classbrowser_position(); if (gnome_config_get_int ("gPHPEdit/main_window/classbrowser_hidden=0") == 1) classbrowser_hide(); }