Fixed to remove timestamps if you removed the plugin

nickgammon · May 20, 2011 · e2ac09f · e2ac09f
1 parent c564879
commit e2ac09f
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/plugins/Timestamps.xml b/plugins/Timestamps.xml
@@ -70,8 +70,9 @@ Date/time
    purpose="Adds a timestamp to each line in the output window"
    save_state="y"
    date_written="2010-09-25 14:02:11"
+   date_modified="2011-05-20 16:05:00"
    requires="4.62"
-   version="1.0"
+   version="1.1"
    >
 <description trim="y">
 <![CDATA[
@@ -127,6 +128,10 @@ function OnPluginDisable ()
   
 end -- OnPluginDisable
 
+function OnPluginClose ()
+  OnPluginDisable ()
+end -- OnPluginClose
+
 function OnPluginEnable ()
  
   SetAlphaOption ("timestamp_input",  TIMESTAMP_INPUT)