[devhelp] Let the document tabs scroll, avoid resizing of the window (GNOME bug 579539)

[Frederic Peters <fpeters src gnome org>]

commit b3725e44058f7ea6d9c8b75330e6dfb52822f660
Author: Frédéric Péters <fpeters 0d be>
Date:   Thu Aug 27 22:05:44 2009 +0200

    Let the document tabs scroll, avoid resizing of the window (GNOME bug 579539)

 src/dh-window.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/dh-window.c b/src/dh-window.c
index 79cca8c..76a2734 100644
--- a/src/dh-window.c
+++ b/src/dh-window.c
@@ -744,6 +744,7 @@ window_populate (DhWindow *window)
         priv->notebook = gtk_notebook_new ();
         gtk_container_set_border_width (GTK_CONTAINER (priv->notebook), 0);
         gtk_notebook_set_show_border (GTK_NOTEBOOK (priv->notebook), FALSE);
+        gtk_notebook_set_scrollable (GTK_NOTEBOOK (priv->notebook), TRUE);
         gtk_box_pack_start (GTK_BOX (priv->vbox), priv->notebook, TRUE, TRUE, 0);
 
         g_signal_connect (priv->notebook,