graphics/ToolTipProducer.py
branchpython3
changeset 3765 88fe6fc9fd38
parent 3750 f62625418bff
--- a/graphics/ToolTipProducer.py	Fri Oct 28 18:59:04 2022 +0800
+++ b/graphics/ToolTipProducer.py	Fri Oct 28 19:39:17 2022 +0800
@@ -55,12 +55,6 @@
                          self.OnToolTipTimer,
                          self.ToolTipTimer)
 
-    def __del__(self):
-        """
-        Destructor
-        """
-        self.DestroyToolTip()
-
     def OnToolTipTimer(self, event):
         """
         Callback for Tool Tip firing timer Event