--- a/editors/TextViewer.py	Fri Oct 28 18:59:04 2022 +0800
+++ b/editors/TextViewer.py	Fri Oct 28 19:39:17 2022 +0800
@@ -163,9 +163,6 @@
         self.RefreshHighlightsTimer = wx.Timer(self, -1)
         self.Bind(wx.EVT_TIMER, self.OnRefreshHighlightsTimer, self.RefreshHighlightsTimer)
 
-    def __del__(self):
-        self.RefreshHighlightsTimer.Stop()
-
     def GetTitle(self):
         if self.Debug or self.TagName == "":
             if len(self.InstancePath) > 15: