diff options
author | Bram Moolenaar <Bram@vim.org> | 2006-03-03 22:58:45 +0000 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2006-03-03 22:58:45 +0000 |
commit | 3517bb1ece6902951565721ad19eff15644e098e (patch) | |
tree | 1be5b43f29d8c6131c88f0b81e524404e41f2f38 /src/gui_gtk_x11.c | |
parent | 65c923adf3589b6c237ac357fcc069085c658a02 (diff) |
updated for version 7.0213
Diffstat (limited to 'src/gui_gtk_x11.c')
-rw-r--r-- | src/gui_gtk_x11.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c index 8e66d33ee0..04f1372ec2 100644 --- a/src/gui_gtk_x11.c +++ b/src/gui_gtk_x11.c @@ -3198,12 +3198,23 @@ gui_mch_show_tabline(int showit) if (!showit != !gtk_notebook_get_show_tabs(GTK_NOTEBOOK(gui.tabline))) { + /* Note: this may cause a resize event */ gtk_notebook_set_show_tabs(GTK_NOTEBOOK(gui.tabline), showit); update_window_manager_hints(); } } /* + * Return TRUE when tabline is displayed. + */ + int +gui_mch_showing_tabline(void) +{ + return gui.tabline != NULL + && gtk_notebook_get_show_tabs(GTK_NOTEBOOK(gui.tabline)); +} + +/* * Update the labels of the tabline. */ void |