--- a/editors/ResourceEditor.py	Fri Oct 28 18:59:04 2022 +0800
+++ b/editors/ResourceEditor.py	Fri Oct 28 19:39:17 2022 +0800
@@ -391,9 +391,6 @@
 
         self.TasksGrid.SetFocus()
 
-    def __del__(self):
-        self.RefreshHighlightsTimer.Stop()
-
     def RefreshTypeList(self):
         self.TypeList = []
         blocktypes = self.Controler.GetBlockResource()