[polari] mainWindow: Mark hamburger menu as primary

[Marge Bot <marge-bot src gnome org>]

commit 58f95525b757d63aae7561e427064e02b6b70658
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Aug 25 00:59:12 2021 +0200

    mainWindow: Mark hamburger menu as primary
    
    This is a convenience property to set up the F10 accelerator for us.
    
    Part-of: <https://gitlab.gnome.org/GNOME/polari/-/merge_requests/235>

 data/resources/main-window.ui | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)
---
diff --git a/data/resources/main-window.ui b/data/resources/main-window.ui
index 2ee1d089..e9e79fe5 100644
--- a/data/resources/main-window.ui
+++ b/data/resources/main-window.ui
@@ -65,17 +65,7 @@
                 <property name="valign">center</property>
                 <property name="menu-model">hamburgerMenu</property>
                 <property name="icon-name">open-menu-symbolic</property>
-                <child>
-                  <object class='GtkShortcutController'>
-                    <property name='scope'>managed</property>
-                    <child>
-                      <object class='GtkShortcut'>
-                        <property name='trigger'>F10</property>
-                        <property name='action'>activate</property>
-                      </object>
-                    </child>
-                  </object>
-                </child>
+                <property name="primary">True</property>
               </object>
             </child>
           </object>