X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsyntax-editor.ui;h=49780048d1690f45cb438f709ca7763b93ee5901;hb=c4bc3574d974d3aaf4d291097c995a31515a308a;hp=7ed0420c155e67df6d890bddaccc29080d974224;hpb=3afd76608320f7fb890b166fcb3945e2c377a99f;p=pspp

diff --git a/src/ui/gui/syntax-editor.ui b/src/ui/gui/syntax-editor.ui
index 7ed0420c15..49780048d1 100644
--- a/src/ui/gui/syntax-editor.ui
+++ b/src/ui/gui/syntax-editor.ui
@@ -123,6 +123,23 @@
 	<attribute name="action">win.run-to-end</attribute>
       </item>
     </section>
+    <section>
+      <item>
+	<attribute name="label" translatable="yes">A_uto Syntax</attribute>
+        <attribute name="target">auto</attribute>
+	<attribute name="action">win.syntax</attribute>
+      </item>
+      <item>
+	<attribute name="label" translatable="yes">_Interactive Syntax</attribute>
+        <attribute name="target">interactive</attribute>
+	<attribute name="action">win.syntax</attribute>
+      </item>
+      <item>
+	<attribute name="label" translatable="yes">_Batch Syntax</attribute>
+        <attribute name="target">batch</attribute>
+	<attribute name="action">win.syntax</attribute>
+      </item>
+    </section>
   </submenu>
 </menu>
 <object class="GtkScrolledWindow" id="scrolledwindow8">