X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsyntax-editor.ui;h=16b2cf4bb5517cb1cc77c3bc46e03bb0fdce329f;hb=691a034d7f2139076fa012739dffd40ef5db4a9b;hp=a8451e0ef51323fc60137d713ea761ee4b04b6c5;hpb=e24d171d4ca100fa55c5390916e3e97eb31a29e8;p=pspp diff --git a/src/ui/gui/syntax-editor.ui b/src/ui/gui/syntax-editor.ui index a8451e0ef5..16b2cf4bb5 100644 --- a/src/ui/gui/syntax-editor.ui +++ b/src/ui/gui/syntax-editor.ui @@ -1,3 +1,19 @@ + + + + + + + + + + + + + + + +