Remove visibility from unused widgets and menus

diff --git a/src/ui/gui/output-viewer.glade b/src/ui/gui/output-viewer.glade
index d7009e72bb3625fef6ddd7638685262781ff6a50..0bcf5f3e407d8cce0f5207d99c127ebe4136fa7c 100644 (file)
--- a/src/ui/gui/output-viewer.glade
+++ b/src/ui/gui/output-viewer.glade
@@ -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>

diff --git a/src/ui/gui/psppire.glade b/src/ui/gui/psppire.glade
index 115f935efb7e9f2b3ca208dfae1e2178e50c5efa..0c40f366a4cd79d07b203aed2f92265d99db6dbe 100644 (file)
--- a/src/ui/gui/psppire.glade
+++ b/src/ui/gui/psppire.glade
@@ -1099,7 +1099,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="GtkButton" id="button4">
-                    <property name="visible">True</property>
+                    <property name="visible">False</property>
                     <property name="sensitive">False</property>
                     <property name="can_focus">True</property>
                     <property name="receives_default">True</property>
@@ -1229,7 +1229,7 @@
                                 </child>
                                 <child>
                                   <widget class="GtkVBox" id="vbox14">
-                                    <property name="visible">True</property>
+                                    <property name="visible">False</property>
                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
                                     <child>
                                       <widget class="GtkLabel" id="label11">
@@ -1445,7 +1445,7 @@
                                     <property name="yscale">0</property>
                                     <child>
                                       <widget class="GtkRadioButton" id="radiobutton-if">
-                                        <property name="visible">True</property>
+                                        <property name="visible">False</property>
                                         <property name="sensitive">False</property>
                                         <property name="can_focus">True</property>
                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>

diff --git a/src/ui/gui/recode.glade b/src/ui/gui/recode.glade
index 38fe21c0e25d2c2a6d4f17f4b35e22d7b8483d34..a3b795e6960842c92ed8d5c126669332ad4eed70 100644 (file)
--- a/src/ui/gui/recode.glade
+++ b/src/ui/gui/recode.glade
@@ -718,7 +718,7 @@
         </child>
         <child>
           <widget class="GtkHBox" id="hbox4">
-            <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="spacing">5</property>

diff --git a/src/ui/gui/syntax-editor.glade b/src/ui/gui/syntax-editor.glade
index aeed6916d028b87d063cae3d3db46642f6b655d1..8895c8f3aa8d78ffee6d663d789d79c92cc28ae3 100644 (file)
--- a/src/ui/gui/syntax-editor.glade
+++ b/src/ui/gui/syntax-editor.glade
@@ -138,7 +138,7 @@
 
          <child>
            <widget class="GtkMenuItem" id="menuitem7">
-             <property name="visible">True</property>
+             <property name="visible">False</property>
              <property name="sensitive">False</property>
              <property name="label" translatable="yes">_Edit</property>
              <property name="use_underline">True</property>