timeline: disable tooltip while scrolling

This commit is contained in:
René Stadler 2012-09-26 02:28:00 +02:00 committed by Stefan Sauer
parent 44d94c72e0
commit 658690c296

View file

@ -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