X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsyntax-editor.glade;h=ae43ea5b789c9ef104d93371f56d38de5ec0a944;hb=cd7df218e1f2798b4ac8e193558a67e6ad59e3ed;hp=8f565e12e987e14e3a278ab9aede0447d102f70c;hpb=5a255c3dcf7eda570645f7c3635d6a3ef9a084d0;p=pspp-builds.git

diff --git a/src/ui/gui/syntax-editor.glade b/src/ui/gui/syntax-editor.glade
index 8f565e12..ae43ea5b 100644
--- a/src/ui/gui/syntax-editor.glade
+++ b/src/ui/gui/syntax-editor.glade
@@ -3,7 +3,7 @@
 
 <glade-interface>
 
-	<widget class="GtkMenuBar" id="menubar2">
+	<widget class="GtkMenuBar" id="menubar">
 	  <property name="visible">True</property>
 	  <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property>
 	  <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property>
@@ -223,32 +223,6 @@
 	      </child>
 	    </widget>
 	  </child>
-	  <child>
-	    <widget class="GtkMenuItem" id="menuitem9">
-	      <property name="visible">True</property>
-	      <property name="label" translatable="yes">_Help</property>
-	      <property name="use_underline">True</property>
-
-	      <child>
-		<widget class="GtkMenu" id="menuitem9_menu">
-		  <child>
-		    <widget class="GtkMenuItem" id="help_reference">
-		      <property name="visible">True</property>
-		      <property name="label" translatable="yes">_Reference Manual</property>
-		      <property name="use_underline">True</property>
-		    </widget>
-		  </child>
-		  <child>
-		    <widget class="GtkMenuItem" id="help_about">
-		      <property name="visible">True</property>
-		      <property name="label" translatable="yes">_About</property>
-		      <property name="use_underline">True</property>
-		    </widget>
-		  </child>
-		</widget>
-	      </child>
-	    </widget>
-	  </child>
 	</widget>