X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fdata-editor.glade;h=1746d9e77d32055357450e97dc156d028ae6a571;hb=c86f5b8a45cca158b46a4fe3b48280e88ce9aba1;hp=7a34a31fa787d9bd2b7f0e6dcf57bdcb29804847;hpb=8f0ec2ec9222b41a8d7466286aac02e7068ab50c;p=pspp-builds.git
diff --git a/src/ui/gui/data-editor.glade b/src/ui/gui/data-editor.glade
index 7a34a31f..1746d9e7 100644
--- a/src/ui/gui/data-editor.glade
+++ b/src/ui/gui/data-editor.glade
@@ -443,7 +443,7 @@
True
GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
-