Searched refs:tab_num (Results 1 – 1 of 1) sorted by relevance
3252 int tab_num; in gui_mch_update_tabline() local3267 tab_num = nr + 1; in gui_mch_update_tabline()3301 GINT_TO_POINTER(tab_num)); in gui_mch_update_tabline()