comparison src/gui_gtk_x11.c @ 708:7cf327ccb632

updated for version 7.0213
author vimboss
date Fri, 03 Mar 2006 22:58:45 +0000
parents 05dc93b9c61f
children 0f9f4761ad9c
comparison
equal deleted inserted replaced
707:111b7dcc8a17 708:7cf327ccb632
3196 if (gui.tabline == NULL) 3196 if (gui.tabline == NULL)
3197 return; 3197 return;
3198 3198
3199 if (!showit != !gtk_notebook_get_show_tabs(GTK_NOTEBOOK(gui.tabline))) 3199 if (!showit != !gtk_notebook_get_show_tabs(GTK_NOTEBOOK(gui.tabline)))
3200 { 3200 {
3201 /* Note: this may cause a resize event */
3201 gtk_notebook_set_show_tabs(GTK_NOTEBOOK(gui.tabline), showit); 3202 gtk_notebook_set_show_tabs(GTK_NOTEBOOK(gui.tabline), showit);
3202 update_window_manager_hints(); 3203 update_window_manager_hints();
3203 } 3204 }
3205 }
3206
3207 /*
3208 * Return TRUE when tabline is displayed.
3209 */
3210 int
3211 gui_mch_showing_tabline(void)
3212 {
3213 return gui.tabline != NULL
3214 && gtk_notebook_get_show_tabs(GTK_NOTEBOOK(gui.tabline));
3204 } 3215 }
3205 3216
3206 /* 3217 /*
3207 * Update the labels of the tabline. 3218 * Update the labels of the tabline.
3208 */ 3219 */