Searched refs:tabline_menu (Results 1 – 1 of 1) sorted by relevance
3072 static GtkWidget *tabline_menu; variable3705 tabline_menu = create_tabline_menu(); in gui_mch_init()3707 G_CALLBACK(on_tabline_menu), G_OBJECT(tabline_menu)); in gui_mch_init()