Searched refs:clicked_page (Results 1 – 1 of 1) sorted by relevance
3076 static int clicked_page; // page clicked in tab line variable3085 send_tabline_menu_event(clicked_page, (int)(long)user_data); in tabline_menu_handler()3145 clicked_page = GPOINTER_TO_INT(g_object_get_data(G_OBJECT(tabwidget), in on_tabline_menu()3162 if (clicked_page == 0) in on_tabline_menu()