X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-window.ui;h=0f04244fc75c0802287caca73bd67224311a7582;hb=53241f59ac766997bf67870639f70afb82396640;hp=faa85b27c3aca1f0bca02626b533bf826e58276b;hpb=258cbd9cdf386687122b0854274923acafc786d4;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