X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsyntax-editor.glade;h=64cdeabec3c43f5901fc48139fd0eb185cfcdcac;hb=2b6f9b8c607743ea7324b2b7e9a3b3fe7afa5f4e;hp=62e409bd7e8d88eb2d2c4556c31493d805973040;hpb=a486e7cbf4f95d19bb208796e4c92a040cf48f65;p=pspp
diff --git a/src/ui/gui/syntax-editor.glade b/src/ui/gui/syntax-editor.glade
index 62e409bd7e..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
-
@@ -201,7 +202,6 @@
@@ -210,7 +210,6 @@
@@ -219,7 +218,6 @@
@@ -229,6 +227,27 @@
+
+
+
+