From: John Darrington Date: Sat, 20 Aug 2016 15:04:30 +0000 (+0200) Subject: Fix bugs in frequencies dialog. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9b00b43dcc1afbaedd5b104fdfb622e2edcf25f3;p=pspp Fix bugs in frequencies dialog. This seems to have crept in, in commit dc6d0e08956c6ad42cc943b7496a192c71bdbe02 Thanks to Harry for reporting it. --- diff --git a/src/ui/gui/frequencies.ui b/src/ui/gui/frequencies.ui index 1ef79dae73..e2deb77db6 100644 --- a/src/ui/gui/frequencies.ui +++ b/src/ui/gui/frequencies.ui @@ -270,7 +270,8 @@ - + + vertical True False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK @@ -633,7 +634,8 @@ - + + vertical True False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK