X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-window.ui;h=0f04244fc75c0802287caca73bd67224311a7582;hb=refs%2Fheads%2Fctables7;hp=f23dfd68b67ab9f2acb260851db7c6f197ec9315;hpb=22b0595b354a0cf111e4ea8b14494be25d8c29ee;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