Set the window title when opening a file on the command line

[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 6fa420668720790053ddc19afb5057e45b806221..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>
@@ -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>