[gnome-builder] libide/gui: tweak group name for shortcuts

[Christian Hergert <chergert src gnome org>]

commit 5d956e723dfc80bfdbb0ca9722434e485b3b6275
Author: Christian Hergert <chergert redhat com>
Date:   Wed Oct 5 15:55:13 2022 -0700

    libide/gui: tweak group name for shortcuts

 src/libide/gui/gtk/menus.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/libide/gui/gtk/menus.ui b/src/libide/gui/gtk/menus.ui
index 5b41e5c9a..d76ce0f68 100644
--- a/src/libide/gui/gtk/menus.ui
+++ b/src/libide/gui/gtk/menus.ui
@@ -20,7 +20,7 @@
     <section id="ide-primary-workspace-menu-placeholder3"/>
     <section id="ide-primary-workspace-menu-app-section">
       <attribute name="page" translatable="yes">Application</attribute>
-      <attribute name="group" translatable="yes">Application</attribute>
+      <attribute name="group" translatable="yes">General</attribute>
       <item>
         <attribute name="id">ide-primary-workspace-menu-preferences</attribute>
         <attribute name="label" translatable="yes">Preferences</attribute>