Shut down toolbelt tools when they're removed from the view; otherwise the...

Shut down toolbelt tools when they're removed from the view; otherwise the timers can fire after the window is closed

ToolNotes.m

@@ -86,4 +86,7 @@ static NSString *kToolNotesSetTextNotification = @"kToolNotesSetTextNotification
     }
 }
+- (void)shutdown {
+}
+
 @end

ToolProfiles.m

@@ -123,4 +123,7 @@ static const int kPopupHeight = 26;
     }
 }
+- (void)shutdown
+{
+}
 @end

ToolWrapper.h

@@ -22,7 +22,6 @@
 @optional
 - (void)relayout;
-@optional
 - (void)shutdown;
 @end

ToolbeltView.m

@@ -164,6 +164,7 @@ static NSString *kToolbeltPrefKey = @"ToolbeltTools";
 {
     ToolWrapper *wrapper = [tools_ objectForKey:theName];
     if (wrapper) {
+        [[wrapper tool] shutdown];
         [tools_ removeObjectForKey:theName];
         [wrapper removeFromSuperview];
 		[wrapper setDelegate:nil];