From 658690c2966a97d8ec33802f9536093ef3986e15 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20Stadler?= <mail@renestadler.de>
Date: Wed, 26 Sep 2012 02:28:00 +0200
Subject: [PATCH] timeline: disable tooltip while scrolling

---
 debug-viewer/GstDebugViewer/Plugins/Timeline.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/debug-viewer/GstDebugViewer/Plugins/Timeline.py b/debug-viewer/GstDebugViewer/Plugins/Timeline.py
index af5a9b523b..a87a99ae81 100644
--- a/debug-viewer/GstDebugViewer/Plugins/Timeline.py
+++ b/debug-viewer/GstDebugViewer/Plugins/Timeline.py
@@ -819,6 +819,7 @@ class TimelineWidget (gtk.DrawingArea):
 
         if not self.has_grab ():
             self.grab_add ()
+            self.props.has_tooltip = False
 
         pos = int (event.x)
         self.emit ("change-position", pos)
@@ -831,6 +832,7 @@ class TimelineWidget (gtk.DrawingArea):
 
         if self.has_grab ():
             self.grab_remove ()
+            self.props.has_tooltip = True
 
         return True