X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Fdata-editor.glade;h=1746d9e77d32055357450e97dc156d028ae6a571;hb=dde7b813c5747fba5d14e47f6dd82bb7b4dc7cf1;hp=7a34a31fa787d9bd2b7f0e6dcf57bdcb29804847;hpb=c65449a628d13f4683e7dc7125874608c7152017;p=pspp diff --git a/src/ui/gui/data-editor.glade b/src/ui/gui/data-editor.glade index 7a34a31fa7..1746d9e77d 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 - + True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK _Frequencies