Exemplo n.º 1
0
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();
}
Exemplo n.º 2
0
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();
}