X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-viewer.ui;h=579a5bedcc3e93404530c05f34e17e538a2af536;hb=ac5fc2c85d86f1a14cdea0a215666ab39b44a1dc;hp=57d3754942c55e24aa526938c42b09b2238c4e26;hpb=4eddf2174e3fb4fe13850666996ecc35f2732d1a;p=pspp
diff --git a/src/ui/gui/output-viewer.ui b/src/ui/gui/output-viewer.ui
index 57d3754942..579a5bedcc 100644
--- a/src/ui/gui/output-viewer.ui
+++ b/src/ui/gui/output-viewer.ui
@@ -31,7 +31,7 @@