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=4b167714abc9f89989662d35bf910f7aa7884e3e;hpb=691a034d7f2139076fa012739dffd40ef5db4a9b;p=pspp diff --git a/src/ui/gui/output-window.ui b/src/ui/gui/output-window.ui index 4b167714ab..0f04244fc7 100644 --- a/src/ui/gui/output-window.ui +++ b/src/ui/gui/output-window.ui @@ -1,3 +1,4 @@ + @@ -14,10 +15,9 @@ - - + True True