X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Fsyntax-editor.glade;h=8895c8f3aa8d78ffee6d663d789d79c92cc28ae3;hb=96b31e17b2c336995db448531ab7f86f57319b5f;hp=ff63d73807626cb19b7024ac604ad5d5c0279ca9;hpb=3a810a0bc874aafa8496ed5b24b86f2afffc64be;p=pspp-builds.git
diff --git a/src/ui/gui/syntax-editor.glade b/src/ui/gui/syntax-editor.glade
index ff63d738..8895c8f3 100644
--- a/src/ui/gui/syntax-editor.glade
+++ b/src/ui/gui/syntax-editor.glade
@@ -138,7 +138,7 @@
@@ -239,7 +240,7 @@
@@ -247,7 +248,6 @@
-