--- a/editors/DataTypeEditor.py	Fri Oct 28 18:59:04 2022 +0800
+++ b/editors/DataTypeEditor.py	Fri Oct 28 19:39:17 2022 +0800
@@ -456,9 +456,6 @@
         self.RefreshHighlightsTimer = wx.Timer(self, -1)
         self.Bind(wx.EVT_TIMER, self.OnRefreshHighlightsTimer, self.RefreshHighlightsTimer)
 
-    def __del__(self):
-        self.RefreshHighlightsTimer.Stop()
-
     def GetBufferState(self):
         return self.Controler.GetBufferState()