1
--- src/board-window.c.old 2003-06-12 02:34:33.000000000 +0200
2
+++ src/board-window.c 2003-06-12 02:34:53.000000000 +0200
5
board_window_set_program_menu (window);
6
board_window_set_server_menu (window);
7
+ gtk_notebook_set_page(GTK_NOTEBOOK(priv->view_nb),0);
9
gtk_signal_connect_after (GTK_OBJECT (priv->view_nb), "switch_page",
10
(GtkSignalFunc) bw_switch_page_cb, window);
14
gtk_notebook_remove_page (priv->view_nb, page_num);
15
+ if (g_list_length(gtk_container_children(GTK_CONTAINER(priv->view_nb)))
24
page_num = gtk_notebook_page_num (priv->info_nb, child);
29
gtk_notebook_remove_page (priv->info_nb, page_num);
33
GTK_OBJECT_CLASS (parent_class)->destroy (object);