X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsyntax-editor.glade;h=8895c8f3aa8d78ffee6d663d789d79c92cc28ae3;hb=96b31e17b2c336995db448531ab7f86f57319b5f;hp=aeed6916d028b87d063cae3d3db46642f6b655d1;hpb=3af9bac9f7828e3a98bb6a76bd6cf63e8d834a70;p=pspp-builds.git

diff --git a/src/ui/gui/syntax-editor.glade b/src/ui/gui/syntax-editor.glade
index aeed6916..8895c8f3 100644
--- 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>