[gnome-builder/wip/gtk4-port] libide/gui: tweak menus for primary workspace

[Christian Hergert <chergert src gnome org>]

commit 1e1f0d9b16592f21da4e744b48536d5c17ad9994
Author: Christian Hergert <chergert redhat com>
Date:   Fri Apr 22 16:18:49 2022 -0700

    libide/gui: tweak menus for primary workspace

 src/libide/gui/gtk/menus.ui       | 2 +-
 src/plugins/editorui/gtk/menus.ui | 9 +++++++++
 src/plugins/support/gtk/menus.ui  | 3 +--
 3 files changed, 11 insertions(+), 3 deletions(-)
---
diff --git a/src/libide/gui/gtk/menus.ui b/src/libide/gui/gtk/menus.ui
index a4c7f5466..8833aa045 100644
--- a/src/libide/gui/gtk/menus.ui
+++ b/src/libide/gui/gtk/menus.ui
@@ -8,7 +8,6 @@
     </section>
     <section id="ide-primary-workspace-menu-projects-section"/>
     <section id="ide-primary-workspace-menu-placeholder1"/>
-    <section id="ide-primary-workspace-menu-placeholder2"/>
     <section id="ide-primary-workspace-menu-close-section">
       <item>
         <attribute name="id">ide-primary-workspace-menu-close-project</attribute>
@@ -16,6 +15,7 @@
         <attribute name="action">workbench.close</attribute>
       </item>
     </section>
+    <section id="ide-primary-workspace-menu-placeholder2"/>
     <section id="ide-primary-workspace-menu-placeholder3"/>
     <section id="ide-primary-workspace-menu-app-section">
       <item>
diff --git a/src/plugins/editorui/gtk/menus.ui b/src/plugins/editorui/gtk/menus.ui
index 00e06c820..aecbdcb69 100644
--- a/src/plugins/editorui/gtk/menus.ui
+++ b/src/plugins/editorui/gtk/menus.ui
@@ -97,6 +97,15 @@
       </item>
     </section>
   </menu>
+  <menu id="ide-primary-workspace-menu">
+    <section id="ide-primary-workspace-menu-placeholder1">
+      <item>
+        <attribute name="label" translatable="yes">New Editor Workspace…</attribute>
+        <attribute name="id">ide-editor-workspace-new-workspace</attribute>
+        <attribute name="action">editorui.new-workspace</attribute>
+      </item>
+    </section>
+  </menu>
   <menu id="new-document-menu">
     <section id="new-document-section">
       <attribute name="id">new-document-section</attribute>
diff --git a/src/plugins/support/gtk/menus.ui b/src/plugins/support/gtk/menus.ui
index d3dc8ca23..f1a4f619d 100644
--- a/src/plugins/support/gtk/menus.ui
+++ b/src/plugins/support/gtk/menus.ui
@@ -1,8 +1,7 @@
 <?xml version="1.0"?>
 <interface>
-  <!-- interface-requires gtk+ 3.0 -->
   <menu id="ide-primary-workspace-menu">
-    <section id="ide-primary-workspace-menu-placeholder3">
+    <section id="ide-primary-workspace-menu-placeholder2">
       <item>
         <attribute name="label" translatable="yes">Generate Support Log…</attribute>
         <attribute name="action">app.generate-support</attribute>