From 64a794100253d87c60f994d0eb666d9239f968a4 Mon Sep 17 00:00:00 2001
From: Joel Holdsworth <joel@joel-desktop.(none)>
Date: Sat, 24 Jan 2009 15:28:54 +0000
Subject: [PATCH] Fixed a bug related to the scroll slide timer not being
 correctly terminated

---
 src/gui/widgets/timeline/timeline-header-container.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/gui/widgets/timeline/timeline-header-container.cpp b/src/gui/widgets/timeline/timeline-header-container.cpp
index 0ac0df624..a5880d6e0 100644
--- a/src/gui/widgets/timeline/timeline-header-container.cpp
+++ b/src/gui/widgets/timeline/timeline-header-container.cpp
@@ -421,10 +421,13 @@ void
 TimelineHeaderContainer::end_drag(bool apply)
 {
   TimelineLayoutHelper &layout = timelineWidget.layoutHelper;
-  
+   
   // Has the user been dragging?
   if(layout.is_dragging_track())
     layout.end_dragging_track(apply);
+  
+  // End the scroll slide
+  end_scroll_slide();
     
   // Reset the arrow as a cursor
   REQUIRE(gdkWindow);