very small patch for integrated UI

["Patrick Hallinan" <patrick j hallinan gmail com>]

Hi,

This patch makes the notebook scrollable for tabs that would fall outside the size of the notebook space.  The current notebook will grow past the size of the window if enough tabs are added.

Pat.


Index: app/interface.c
===================================================================
--- app/interface.c	(revision 3921)
+++ app/interface.c	(working copy)
@@ -1662,6 +1662,7 @@
   /* Diagram Notebook */
   notebook = gtk_notebook_new ();
   gtk_box_pack_end (GTK_BOX (hbox), notebook, TRUE, TRUE, 0);
+  gtk_notebook_set_scrollable (GTK_NOTEBOOK (notebook), TRUE); 
   gtk_widget_show (notebook);
 
   /*  tooltips  */