Remove visibility from unused widgets and menus
[pspp-builds.git] / src / ui / gui / output-viewer.glade
index d7009e72bb3625fef6ddd7638685262781ff6a50..0bcf5f3e407d8cce0f5207d99c127ebe4136fa7c 100644 (file)
@@ -16,7 +16,7 @@
             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
             <child>
               <widget class="GtkMenuItem" id="menuitem1">
-                <property name="visible">True</property>
+                <property name="visible">False</property>
                 <property name="sensitive">False</property>
                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
                 <property name="label" translatable="yes">_File</property>
@@ -49,7 +49,7 @@
             </child>
             <child>
               <widget class="GtkMenuItem" id="menuitem2">
-                <property name="visible">True</property>
+                <property name="visible">False</property>
                 <property name="sensitive">False</property>
                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
                 <property name="label" translatable="yes">_Edit</property>