X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Fdata-editor.glade;h=7779a06095e6ee4ef0877ea9b30334945bf22b17;hb=1881aaf56cd19765028c365e11ec0c97cc9d0320;hp=bc6e65daa44e6481bb1bea75bb5ce6a1565eb6e0;hpb=1abba60b3018ce7eb3d85930ad591e4d6ad39813;p=pspp diff --git a/src/ui/gui/data-editor.glade b/src/ui/gui/data-editor.glade index bc6e65daa4..7779a06095 100644 --- a/src/ui/gui/data-editor.glade +++ b/src/ui/gui/data-editor.glade @@ -379,7 +379,7 @@ - False + True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK Ran_k Cases True