diff options
| author | Bram Moolenaar <Bram@vim.org> | 2006-04-23 22:40:29 +0000 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2006-04-23 22:40:29 +0000 |
| commit | 4a85b4156098a30daf5b15a7fb7587a1c7c99f94 (patch) | |
| tree | a1874218752c56897f955c24b012836b8c9e80f8 /src/gui_gtk_x11.c | |
| parent | eb3593b38b7b6b658e93ad05d6caf76d58cc0c35 (diff) | |
| download | vim-git-4a85b4156098a30daf5b15a7fb7587a1c7c99f94.tar.gz | |
updated for version 7.0e07v7.0e07
Diffstat (limited to 'src/gui_gtk_x11.c')
| -rw-r--r-- | src/gui_gtk_x11.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c index 3bec1f59f..68c0f3e63 100644 --- a/src/gui_gtk_x11.c +++ b/src/gui_gtk_x11.c @@ -3198,7 +3198,7 @@ on_tabline_menu(GtkWidget *widget, GdkEvent *event) /* The label size apparently doesn't include the spacing, estimate * it by the page position. */ if (page->allocation.x * 2 + label->allocation.x - + label->allocation.width + 1>= x) + + label->allocation.width + 1 >= x) break; } @@ -3652,6 +3652,7 @@ gui_mch_init(void) gtk_box_pack_start(GTK_BOX(vbox), gui.tabline, FALSE, FALSE, 0); gtk_notebook_set_show_border(GTK_NOTEBOOK(gui.tabline), FALSE); gtk_notebook_set_show_tabs(GTK_NOTEBOOK(gui.tabline), FALSE); + gtk_notebook_set_scrollable(GTK_NOTEBOOK(gui.tabline), TRUE); { GtkWidget *page, *label; |