From 45ca590c38535e044de2bfb3ca6814a6152fd07c Mon Sep 17 00:00:00 2001
From: Joel Holdsworth <joel@joel-desktop.(none)>
Date: Mon, 4 Aug 2008 16:40:38 +0100
Subject: [PATCH] Reinstated a small efficiency

---
 src/gui/widgets/timeline-widget.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/gui/widgets/timeline-widget.cpp b/src/gui/widgets/timeline-widget.cpp
index 6b9d83be2..faea874ff 100644
--- a/src/gui/widgets/timeline-widget.cpp
+++ b/src/gui/widgets/timeline-widget.cpp
@@ -179,8 +179,8 @@ TimelineWidget::set_tool(ToolType tool_type)
   if(tool != NULL)
     {
       // Do we need to change tools?
-      //if(tool->get_type() == tool_type)
-      //  return;
+      if(tool->get_type() == tool_type)
+        return;
         
       delete tool;
     }