Fixed a bug related to the scroll slide timer not being correctly

terminated
This commit is contained in:
Joel Holdsworth 2009-01-24 15:28:54 +00:00
parent 73f7380506
commit 64a7941002

View file

@ -421,10 +421,13 @@ void
TimelineHeaderContainer::end_drag(bool apply) TimelineHeaderContainer::end_drag(bool apply)
{ {
TimelineLayoutHelper &layout = timelineWidget.layoutHelper; TimelineLayoutHelper &layout = timelineWidget.layoutHelper;
// Has the user been dragging? // Has the user been dragging?
if(layout.is_dragging_track()) if(layout.is_dragging_track())
layout.end_dragging_track(apply); layout.end_dragging_track(apply);
// End the scroll slide
end_scroll_slide();
// Reset the arrow as a cursor // Reset the arrow as a cursor
REQUIRE(gdkWindow); REQUIRE(gdkWindow);