X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsyntax-editor.glade;h=64cdeabec3c43f5901fc48139fd0eb185cfcdcac;hb=e6ae2a61e5356694c09f48da74407f8054a04e8d;hp=80e6bff31147a438328cb61c3d9c23dcc6960a41;hpb=5023955f3e48b1b0a703a38d654467360c0794a6;p=pspp
diff --git a/src/ui/gui/syntax-editor.glade b/src/ui/gui/syntax-editor.glade
index 80e6bff311..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
-
@@ -231,7 +232,6 @@
True
_Windows
True
-