diff options
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; |