diff src/gui_gtk_x11.c @ 865:f41fa84cd738 v7.0g03

updated for version 7.0g03
author vimboss
date Thu, 04 May 2006 21:57:11 +0000
parents b933657f7c9d
children 95c5a7508d2d
line wrap: on
line diff
--- a/src/gui_gtk_x11.c
+++ b/src/gui_gtk_x11.c
@@ -3691,6 +3691,7 @@ gui_mch_init(void)
 	gtk_container_add(GTK_CONTAINER(event_box), label);
 	gtk_notebook_set_tab_label(GTK_NOTEBOOK(gui.tabline), page, event_box);
     }
+
     gtk_signal_connect(GTK_OBJECT(gui.tabline), "switch_page",
 		       GTK_SIGNAL_FUNC(on_select_tab), NULL);