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

[Arnaud B. <arnaudb src gnome org>]

commit b9ac5dec3280e613386e3a5a37adbe458944f552
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 239ff91..48193fd 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 -->