[gedit] Fix side headerbar shrinking

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 6c2c2c18ad05a69be35808c0fb597f9c5dd27d82
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Tue Jan 7 23:49:47 2014 +0100

    Fix side headerbar shrinking

 gedit/gedit-window.ui |   11 +++++++++++
 1 files changed, 11 insertions(+), 0 deletions(-)
---
diff --git a/gedit/gedit-window.ui b/gedit/gedit-window.ui
index 7e0d9db..6af289f 100644
--- a/gedit/gedit-window.ui
+++ b/gedit/gedit-window.ui
@@ -233,6 +233,10 @@
               <class name="titlebar"/>
             </style>
           </object>
+          <packing>
+            <property name="resize">False</property>
+            <property name="shrink">False</property>
+          </packing>
         </child>
         <child>
           <object class="GtkHeaderBar" id="headerbar">
@@ -551,5 +555,12 @@
       </object>
     </child>
   </object>
+  <object class="GtkSizeGroup">
+    <property name="mode">horizontal</property>
+    <widgets>
+      <widget name="side_headerbar"/>
+      <widget name="side_panel"/>
+    </widgets>
+  </object>
 </interface>