[devhelp] window: don't let the sidebar shrink to less of what it requested

[Aleksander Morgado <aleksm src gnome org>]

commit 1db8ad706fee0431c349fe3b38237a9d068f61fe
Author: Aleksander Morgado <aleksander lanedo com>
Date:   Sun Oct 20 13:19:36 2013 +0200

    window: don't let the sidebar shrink to less of what it requested

 src/dh-window.ui |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/src/dh-window.ui b/src/dh-window.ui
index 0ee5538..afbc553 100644
--- a/src/dh-window.ui
+++ b/src/dh-window.ui
@@ -201,6 +201,9 @@
               <object class="GtkGrid" id="grid_sidebar">
                 <property name="visible">True</property>
               </object>
+              <packing>
+               <property name="shrink">False</property>
+             </packing>
             </child>
             <child>
               <object class="GtkGrid" id="grid_documents">