[gnome-builder] gui: remove duplicated menu entry

[Christian Hergert <chergert src gnome org>]

commit 28112fd9e3adca3820829e0262fe8bbfee7728be
Author: Christian Hergert <chergert redhat com>
Date:   Fri Apr 26 12:13:08 2019 -0700

    gui: remove duplicated menu entry
    
    This is already in the "New/Open" button which relates to things that can
    be created within this workspace. The Workspace menu (which this was in)
    should really be for project level things and/or new workspaces and such.

 src/libide/gui/gtk/menus.ui | 8 --------
 1 file changed, 8 deletions(-)
---
diff --git a/src/libide/gui/gtk/menus.ui b/src/libide/gui/gtk/menus.ui
index 17008e412..e50cb2313 100644
--- a/src/libide/gui/gtk/menus.ui
+++ b/src/libide/gui/gtk/menus.ui
@@ -9,14 +9,6 @@
   <menu id="ide-primary-workspace-menu">
     <section id="ide-primary-workspace-menu-projects-section"/>
     <section id="ide-primary-workspace-menu-placeholder1"/>
-    <section id="ide-primary-workspace-menu-open-section">
-      <item>
-        <attribute name="id">ide-primary-workspace-menu-open</attribute>
-        <attribute name="label" translatable="yes">Open File…</attribute>
-        <attribute name="action">workbench.open</attribute>
-        <attribute name="accel">&lt;primary&gt;o</attribute>
-      </item>
-    </section>
     <section id="ide-primary-workspace-menu-placeholder2"/>
     <section id="ide-primary-workspace-menu-close-section">
       <item>