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

diff --git a/src/ui/gui/syntax-editor.glade b/src/ui/gui/syntax-editor.glade
index ff63d738..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>
@@ -212,6 +212,7 @@
 		      <property name="visible">True</property>
 		      <property name="label" translatable="yes">Current Line</property>
 		      <property name="use_underline">True</property>
+                      <accelerator key="R" modifiers="GDK_CONTROL_MASK" signal="activate"/>
 		    </widget>
 		  </child>
 
@@ -239,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>
@@ -247,7 +248,6 @@
 	      </child>
 	    </widget>
 	  </child>
-
 	  <child>
 	    <widget class="GtkMenuItem" id="menuitem9">
 	      <property name="visible">True</property>
@@ -256,7 +256,6 @@
 
 	      <child>
 		<widget class="GtkMenu" id="menuitem9_menu">
-
 		  <child>
 		    <widget class="GtkMenuItem" id="help_reference">
 		      <property name="visible">True</property>
@@ -264,7 +263,6 @@
 		      <property name="use_underline">True</property>
 		    </widget>
 		  </child>
-
 		  <child>
 		    <widget class="GtkMenuItem" id="help_about">
 		      <property name="visible">True</property>