comparison 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
comparison
equal deleted inserted replaced
864:bc620d6bdf06 865:f41fa84cd738
3689 gtk_object_set_user_data(GTK_OBJECT(event_box), (gpointer)1); 3689 gtk_object_set_user_data(GTK_OBJECT(event_box), (gpointer)1);
3690 gtk_misc_set_padding(GTK_MISC(label), 2, 2); 3690 gtk_misc_set_padding(GTK_MISC(label), 2, 2);
3691 gtk_container_add(GTK_CONTAINER(event_box), label); 3691 gtk_container_add(GTK_CONTAINER(event_box), label);
3692 gtk_notebook_set_tab_label(GTK_NOTEBOOK(gui.tabline), page, event_box); 3692 gtk_notebook_set_tab_label(GTK_NOTEBOOK(gui.tabline), page, event_box);
3693 } 3693 }
3694
3694 gtk_signal_connect(GTK_OBJECT(gui.tabline), "switch_page", 3695 gtk_signal_connect(GTK_OBJECT(gui.tabline), "switch_page",
3695 GTK_SIGNAL_FUNC(on_select_tab), NULL); 3696 GTK_SIGNAL_FUNC(on_select_tab), NULL);
3696 3697
3697 /* Create a popup menu for the tab line and connect it. */ 3698 /* Create a popup menu for the tab line and connect it. */
3698 tabline_menu = create_tabline_menu(); 3699 tabline_menu = create_tabline_menu();