[gedit] Do not allow the header bar to shrink under its min size

[Paolo Borelli <pborelli src gnome org>]

commit aed61aaa1644b940c2791aea098dfcd18bce5c78
Author: Paolo Borelli <pborelli gnome org>
Date:   Sat Feb 22 19:55:59 2014 +0100

    Do not allow the header bar to shrink under its min size

 gedit/gedit-window.ui |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/gedit/gedit-window.ui b/gedit/gedit-window.ui
index 07ff1d5..4900543 100644
--- a/gedit/gedit-window.ui
+++ b/gedit/gedit-window.ui
@@ -128,6 +128,9 @@
               </packing>
             </child>
           </object>
+          <packing>
+            <property name="shrink">False</property>
+          </packing>
         </child>
       </object>
     </child>