X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-viewer.ui;h=c8450264c7fbd02fbfa487e53cbc434bdf1775c7;hb=refs%2Fbuilds%2F20140129033013%2Fpspp;hp=3325e2abc118c1402d9a9d8ab6694b574c069013;hpb=e4ef4d0f708651807d91bd92d7ab92c1b5c6d675;p=pspp
diff --git a/src/ui/gui/output-viewer.ui b/src/ui/gui/output-viewer.ui
index 3325e2abc1..c8450264c7 100644
--- a/src/ui/gui/output-viewer.ui
+++ b/src/ui/gui/output-viewer.ui
@@ -12,13 +12,15 @@
@@ -28,9 +30,17 @@
-
+
+
@@ -41,6 +51,7 @@
@@ -54,7 +65,8 @@