X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsyntax-editor.ui;h=49780048d1690f45cb438f709ca7763b93ee5901;hb=4e9cac1017c866edad3e5573e4a181eeb69c2703;hp=16b2cf4bb5517cb1cc77c3bc46e03bb0fdce329f;hpb=691a034d7f2139076fa012739dffd40ef5db4a9b;p=pspp

diff --git a/src/ui/gui/syntax-editor.ui b/src/ui/gui/syntax-editor.ui
index 16b2cf4bb5..49780048d1 100644
--- a/src/ui/gui/syntax-editor.ui
+++ b/src/ui/gui/syntax-editor.ui
@@ -1,3 +1,4 @@
+<?xml version="1.0" encoding="UTF-8"?>
 <!-- PSPP - a program for statistical analysis. -->
 <!-- Copyright (C) 2017 Free Software Foundation, Inc. -->
 
@@ -14,7 +15,6 @@
 <!-- You should have received a copy of the GNU General Public License -->
 <!-- along with this program.  If not, see <http://www.gnu.org/licenses/>. -->
 
-<?xml version="1.0"?>
 <!--*- mode: xml -*-->
 <interface>
   <menu id="syntax-window-menu">
@@ -95,6 +95,12 @@
 	<attribute name="action">win.redo</attribute>
       </item>
     </section>
+    <section>
+      <item>
+	<attribute name="label" translatable="yes">_Find</attribute>
+	<attribute name="action">win.find</attribute>
+      </item>
+    </section>
   </submenu>
   <submenu>
     <attribute name="label" translatable="yes">_Run</attribute>
@@ -117,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">