updated for version 7.0e07
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c
index 3bec1f5..68c0f3e 100644
--- a/src/gui_gtk_x11.c
+++ b/src/gui_gtk_x11.c
@@ -3198,7 +3198,7 @@
/* 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 @@
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;