Remove visibility from unused widgets and menus

[pspp-builds.git] / src / ui / gui / syntax-editor.glade

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>