[gnome-maps/gnome-3-36] Remove ctrl+f1 shortcut from Keyboard Shortcuts page

[Marcus Lundblad <mlundblad src gnome org>]

commit da87ea8a23f0e077325de7e822d48a6bc658fb8e
Author: Sabri Ünal <libreajans gmail com>
Date:   Sun Feb 9 17:19:39 2020 +0300

    Remove ctrl+f1 shortcut from Keyboard Shortcuts page
    
    Remove ctrl+F1 shortcut due to "Ctrl+F1 accel for GtkApplication help-overlay conflicts
    with GtkWidget binding to toggle tooltip".
    (https://gitlab.gnome.org/GNOME/gtk/issues/626)

 data/ui/help-overlay.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/data/ui/help-overlay.ui b/data/ui/help-overlay.ui
index b9e9260b..6c304459 100644
--- a/data/ui/help-overlay.ui
+++ b/data/ui/help-overlay.ui
@@ -16,7 +16,7 @@
               <object class="GtkShortcutsShortcut">
                 <property name="visible">1</property>
                 <property name="title" translatable="yes" context="shortcut window">Show Shortcuts</property>
-                <property name="accelerator">&lt;Primary&gt;F1 &lt;Primary&gt;question</property>
+                <property name="accelerator">&lt;Primary&gt;question</property>
               </object>
             </child>
             <child>