X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsyntax-editor.ui;h=49780048d1690f45cb438f709ca7763b93ee5901;hb=e0cbdf0daefcca81be9572aab0deedf945687f5a;hp=56423ea70b6857c3bd4339d19ab54b3ea615d1f4;hpb=22b0595b354a0cf111e4ea8b14494be25d8c29ee;p=pspp
diff --git a/src/ui/gui/syntax-editor.ui b/src/ui/gui/syntax-editor.ui
index 56423ea70b..49780048d1 100644
--- a/src/ui/gui/syntax-editor.ui
+++ b/src/ui/gui/syntax-editor.ui
@@ -95,6 +95,12 @@
win.redo
+
_Run
@@ -117,6 +123,23 @@
win.run-to-end
+
+ -
+ A_uto Syntax
+ auto
+ win.syntax
+
+ -
+ _Interactive Syntax
+ interactive
+ win.syntax
+
+ -
+ _Batch Syntax
+ batch
+ win.syntax
+
+