X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Foutput-viewer.ui;h=66a7af577c27a488c9cb12f05518ff96b7fd8c93;hb=e339b2ca72d77a076566856e9357781d49cd983c;hp=13a39f8889ee89b08b204ec7d27bf12023fa24f1;hpb=0cef299dab442edb73b5942408b38bf5aefe7489;p=pspp
diff --git a/src/ui/gui/output-viewer.ui b/src/ui/gui/output-viewer.ui
index 13a39f8889..66a7af577c 100644
--- a/src/ui/gui/output-viewer.ui
+++ b/src/ui/gui/output-viewer.ui
@@ -12,14 +12,15 @@