X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-window.ui;h=0f04244fc75c0802287caca73bd67224311a7582;hb=6fca007244bd4a7c917f2dc3a6bab87a2ad7461a;hp=f23dfd68b67ab9f2acb260851db7c6f197ec9315;hpb=5dbf5abcbed01f04422d4dead1c0ae0bb7efde4f;p=pspp diff --git a/src/ui/gui/output-window.ui b/src/ui/gui/output-window.ui index f23dfd68b6..0f04244fc7 100644 --- a/src/ui/gui/output-window.ui +++ b/src/ui/gui/output-window.ui @@ -17,7 +17,7 @@ - + True True