X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsyntax-editor.glade;h=8895c8f3aa8d78ffee6d663d789d79c92cc28ae3;hb=f7dd956cea4cd70d922deae4b70fd08e59346a12;hp=6fa420668720790053ddc19afb5057e45b806221;hpb=5de8102af0956488f48ae9bf4941e5867a0f1260;p=pspp-builds.git

diff --git a/src/ui/gui/syntax-editor.glade b/src/ui/gui/syntax-editor.glade
index 6fa42066..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>
@@ -240,7 +240,7 @@
 		  <child>
 		    <widget class="GtkMenuItem" id="windows_minimise_all">
 		      <property name="visible">True</property>
-		      <property name="label" translatable="yes">_Minimise All Windows</property>
+		      <property name="label" translatable="yes">_Minimize All Windows</property>
 		      <property name="use_underline">True</property>
 		    </widget>
 		  </child>