From 6635c6ac6c1fcd4e2f62fa2d1402602e9daf6170 Mon Sep 17 00:00:00 2001
From: Robin Gareus <robin@gareus.org>
Date: Fri, 4 Jan 2013 16:02:12 +0000
Subject: [PATCH] fix #5249- small faders in the processor box are not
 draggable when tooltips are disabled.

git-svn-id: svn://localhost/ardour2/branches/3.0@13768 d708f5d6-7413-0410-9779-e7cbd77b26cf
---
 libs/gtkmm2ext/pixfader.cc | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/libs/gtkmm2ext/pixfader.cc b/libs/gtkmm2ext/pixfader.cc
index fc9a36a27d..9d15a55932 100644
--- a/libs/gtkmm2ext/pixfader.cc
+++ b/libs/gtkmm2ext/pixfader.cc
@@ -290,6 +290,9 @@ PixFader::on_button_press_event (GdkEventButton* ev)
 	grab_start = (_orien == VERT) ? ev->y : ev->x;
 	grab_window = ev->window;
 	dragging = true;
+	gdk_pointer_grab(ev->window,false,
+			GdkEventMask( Gdk::POINTER_MOTION_MASK | Gdk::BUTTON_PRESS_MASK |Gdk::BUTTON_RELEASE_MASK),
+			NULL,NULL,ev->time);
 
 	if (ev->button == 2) {
 		set_adjustment_from_event (ev);
@@ -308,6 +311,7 @@ PixFader::on_button_release_event (GdkEventButton* ev)
 		if (dragging) {
 			remove_modal_grab();
 			dragging = false;
+			gdk_pointer_ungrab (GDK_CURRENT_TIME);
 
 			if (!_hovering) {
 				Keyboard::magic_widget_drop_focus();
@@ -338,6 +342,7 @@ PixFader::on_button_release_event (GdkEventButton* ev)
 			remove_modal_grab();
 			dragging = false;
 			set_adjustment_from_event (ev);
+			gdk_pointer_ungrab (GDK_CURRENT_TIME);
 		}
 		break;