[gnome-builder] editor: be consistent with naming

[Christian Hergert <chergert src gnome org>]

commit 7a50f44be8af8f39a5eb6f1527b42661d0d0016a
Author: Christian Hergert <chergert redhat com>
Date:   Fri Apr 26 11:58:22 2019 -0700

    editor: be consistent with naming

 src/plugins/editor/gtk/menus.ui | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/src/plugins/editor/gtk/menus.ui b/src/plugins/editor/gtk/menus.ui
index 7df694e52..1a254f934 100644
--- a/src/plugins/editor/gtk/menus.ui
+++ b/src/plugins/editor/gtk/menus.ui
@@ -4,7 +4,7 @@
     <section id="ide-primary-workspace-menu-placeholder1">
       <item>
         <attribute name="id">ide-primary-workspace-menu-new-editor-workspace</attribute>
-        <attribute name="label" translatable="yes">New Workspace…</attribute>
+        <attribute name="label" translatable="yes">New Editor Workspace…</attribute>
         <attribute name="action">win.new-editor-workspace</attribute>
       </item>
     </section>
@@ -14,7 +14,7 @@
     <section id="ide-editor-workspace-menu-placeholder1">
       <item>
         <attribute name="id">ide-editor-workspace-menu-new-editor-workspace</attribute>
-        <attribute name="label" translatable="yes">New Workspace…</attribute>
+        <attribute name="label" translatable="yes">New Editor Workspace…</attribute>
         <attribute name="action">win.new-editor-workspace</attribute>
       </item>
     </section>