Searched refs:tabwidget (Results 1 – 1 of 1) sorted by relevance
3130 GtkWidget *tabwidget; in on_tabline_menu() local3144 gdk_window_get_user_data(tabwin, (gpointer)&tabwidget); in on_tabline_menu()3145 clicked_page = GPOINTER_TO_INT(g_object_get_data(G_OBJECT(tabwidget), in on_tabline_menu()