X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-viewer.glade;h=0bcf5f3e407d8cce0f5207d99c127ebe4136fa7c;hb=46b17a75377b7541db5149c561d8569b5472d3fe;hp=824d24b81fdb8ee2f4b7752fbd254de81b792778;hpb=5de8102af0956488f48ae9bf4941e5867a0f1260;p=pspp
diff --git a/src/ui/gui/output-viewer.glade b/src/ui/gui/output-viewer.glade
index 824d24b81f..0bcf5f3e40 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