X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-window.ui;h=0f04244fc75c0802287caca73bd67224311a7582;hb=f6c6ee97c412e47eb1c7c30adc224e93b6c1586a;hp=faa85b27c3aca1f0bca02626b533bf826e58276b;hpb=7293c1a383d325c371bd708401e5a1d7586a4d90;p=pspp diff --git a/src/ui/gui/output-window.ui b/src/ui/gui/output-window.ui index faa85b27c3..0f04244fc7 100644 --- a/src/ui/gui/output-window.ui +++ b/src/ui/gui/output-window.ui @@ -1,7 +1,23 @@ + + + + + + + + + + + + + + + + - + True True