[gnome-2048/arnaudb/wip/gtk4: 34/34] Fix Keyboard Shortcuts order.

[Arnaud B. <arnaudb src gnome org>]

commit ab460e527fd0f9d62d75d8e4c955492e9c871aef
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Mon Jul 13 17:29:14 2020 +0200

    Fix Keyboard Shortcuts order.

 data/help-overlay.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/data/help-overlay.ui b/data/help-overlay.ui
index 4fd29a2..a3952f6 100644
--- a/data/help-overlay.ui
+++ b/data/help-overlay.ui
@@ -20,7 +20,7 @@
   <object class="GtkShortcutsWindow" id="help_overlay">
     <child>
       <object class="GtkShortcutsSection">
-        <property name="max-height">11</property>
+        <property name="max-height">5</property>
         <child>
           <object class="GtkShortcutsGroup">
             <!-- Translators: header of the "Play with arrows" shortcut section -->