[polari] help-overlay: Force a horizontal group layout (again)

[Florian Müllner <fmuellner src gnome org>]

commit e4f59ca44aceefd68fa1453663a391c25cf7ff12
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Feb 24 00:23:37 2016 +0100

    help-overlay: Force a horizontal group layout (again)
    
    Some of the shortcut titles are a bit long, which makes GTK+ prefer
    a vertical layout. We fixed this previously by setting a max-height,
    but that value became too high when we removed the message-user dialog,
    so lower it a bit more.

 data/resources/help-overlay.ui |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/data/resources/help-overlay.ui b/data/resources/help-overlay.ui
index d6faa22..08910d5 100644
--- a/data/resources/help-overlay.ui
+++ b/data/resources/help-overlay.ui
@@ -5,7 +5,9 @@
     <child>
       <object class="GtkShortcutsSection">
         <property name="visible">True</property>
-        <property name="max-height">14</property>
+        <!-- The longer shortcut titles make GTK+ want to layout the groups
+             vertically, but we really really want a horizontal layout -->
+        <property name="max-height">10</property>
         <!--property name="section-name">shortcuts</property-->
         <child>
           <object class="GtkShortcutsGroup">