X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsyntax-editor.glade;h=64cdeabec3c43f5901fc48139fd0eb185cfcdcac;hb=fe3a0a8896cc9f099196f0d0228bb0cfa688c34a;hp=f5473006ff4a23aa37d6df42d94d093468e5176a;hpb=b4dd1916b76c26b631330a6da615af4433360da4;p=pspp
diff --git a/src/ui/gui/syntax-editor.glade b/src/ui/gui/syntax-editor.glade
index f5473006ff..64cdeabec3 100644
--- a/src/ui/gui/syntax-editor.glade
+++ b/src/ui/gui/syntax-editor.glade
@@ -62,6 +62,7 @@
@@ -85,13 +86,13 @@
True
_Syntax
True
-
@@ -226,6 +227,27 @@
+
+
+
+