[gnome-builder/wip/chergert/dspy: 1/2] libide: add utils section for workspace switcher

[Christian Hergert <chergert src gnome org>]

commit 6718bb22f739bc262c2fa34d5064e80b4561325b
Author: Christian Hergert <chergert redhat com>
Date:   Tue Apr 23 15:05:20 2019 -0700

    libide: add utils section for workspace switcher

 src/libide/gui/gtk/menus.ui     | 1 +
 src/plugins/editor/gtk/menus.ui | 1 +
 2 files changed, 2 insertions(+)
---
diff --git a/src/libide/gui/gtk/menus.ui b/src/libide/gui/gtk/menus.ui
index 6eedc5fae..426c77dee 100644
--- a/src/libide/gui/gtk/menus.ui
+++ b/src/libide/gui/gtk/menus.ui
@@ -4,6 +4,7 @@
     <section id="ide-primary-workspace-surfaces-menu-section">
       <attribute name="label" translatable="yes">Switch Surface</attribute>
     </section>
+    <section id="ide-primary-workspace-surfaces-menu-utils-section"/>
   </menu>
   <menu id="ide-primary-workspace-menu">
     <section id="ide-primary-workspace-menu-projects-section"/>
diff --git a/src/plugins/editor/gtk/menus.ui b/src/plugins/editor/gtk/menus.ui
index edc2364b3..7df694e52 100644
--- a/src/plugins/editor/gtk/menus.ui
+++ b/src/plugins/editor/gtk/menus.ui
@@ -85,6 +85,7 @@
         <attribute name="verb-icon-name">builder-editor-symbolic</attribute>
       </item>
     </section>
+    <section id="ide-editor-workspace-surfaces-menu-section"/>
   </menu>
   <menu id="new-document-menu">
     <section id="new-document-section">