X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsyntax-editor.ui;h=56423ea70b6857c3bd4339d19ab54b3ea615d1f4;hb=e2f99612bf4f4691623f16730eed3e55afdc54f0;hp=a8451e0ef51323fc60137d713ea761ee4b04b6c5;hpb=7293c1a383d325c371bd708401e5a1d7586a4d90;p=pspp diff --git a/src/ui/gui/syntax-editor.ui b/src/ui/gui/syntax-editor.ui index a8451e0ef5..56423ea70b 100644 --- a/src/ui/gui/syntax-editor.ui +++ b/src/ui/gui/syntax-editor.ui @@ -1,4 +1,20 @@ - + + + + + + + + + + + + + + + + +