X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsyntax-editor.glade;h=64cdeabec3c43f5901fc48139fd0eb185cfcdcac;hb=d52355bcda20563736bd83aed3ab58e534672cb5;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 @@ True + False _Data True @@ -85,13 +86,13 @@ True _Syntax True - True + False _Data True @@ -231,7 +232,6 @@ True _Windows True -