From 9b00b43dcc1afbaedd5b104fdfb622e2edcf25f3 Mon Sep 17 00:00:00 2001 From: John Darrington Date: Sat, 20 Aug 2016 17:04:30 +0200 Subject: [PATCH] Fix bugs in frequencies dialog. This seems to have crept in, in commit dc6d0e08956c6ad42cc943b7496a192c71bdbe02 Thanks to Harry for reporting it. --- src/ui/gui/frequencies.ui | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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 -- 2.30.2