X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-viewer.glade;h=0b709ee4cadee9fc91a8cb53bdc5a05324612169;hb=4cf49191fb83586ae05ed9613ce229417c106055;hp=824d24b81fdb8ee2f4b7752fbd254de81b792778;hpb=5de8102af0956488f48ae9bf4941e5867a0f1260;p=pspp
diff --git a/src/ui/gui/output-viewer.glade b/src/ui/gui/output-viewer.glade
index 824d24b81f..0b709ee4ca 100644
--- a/src/ui/gui/output-viewer.glade
+++ b/src/ui/gui/output-viewer.glade
@@ -16,7 +16,7 @@
GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
-