[gnome-builder] editor: remove pages menu

[Christian Hergert <chergert src gnome org>]

commit 5e4869f5498fb0ed7e899436daf7b67518e1139a
Author: Christian Hergert <chergert redhat com>
Date:   Mon Sep 17 11:07:04 2018 -0700

    editor: remove pages menu
    
    These have been moved into the new window menu, now that GNOME is moving
    away from app-menu.

 src/libide/editor/ide-editor-sidebar.ui | 12 ------------
 1 file changed, 12 deletions(-)
---
diff --git a/src/libide/editor/ide-editor-sidebar.ui b/src/libide/editor/ide-editor-sidebar.ui
index e03f048ea..149354164 100644
--- a/src/libide/editor/ide-editor-sidebar.ui
+++ b/src/libide/editor/ide-editor-sidebar.ui
@@ -38,18 +38,6 @@
                         </style>
                       </object>
                     </child>
-                    <child>
-                      <object class="DzlMenuButton">
-                        <property name="margin-right">6</property>
-                        <property name="show-accels">true</property>
-                        <property name="icon-name">pan-down-symbolic</property>
-                        <property name="menu-id">pages-menu</property>
-                        <property name="visible">true</property>
-                        <style>
-                          <class name="flat-menu-button"/>
-                        </style>
-                      </object>
-                    </child>
                   </object>
                 </child>
                 <child>