equal
deleted
inserted
replaced
52 # Timer for firing Tool tip display |
52 # Timer for firing Tool tip display |
53 self.ToolTipTimer = wx.Timer(self.Parent, -1) |
53 self.ToolTipTimer = wx.Timer(self.Parent, -1) |
54 self.Parent.Bind(wx.EVT_TIMER, |
54 self.Parent.Bind(wx.EVT_TIMER, |
55 self.OnToolTipTimer, |
55 self.OnToolTipTimer, |
56 self.ToolTipTimer) |
56 self.ToolTipTimer) |
57 |
|
58 def __del__(self): |
|
59 """ |
|
60 Destructor |
|
61 """ |
|
62 self.DestroyToolTip() |
|
63 |
57 |
64 def OnToolTipTimer(self, event): |
58 def OnToolTipTimer(self, event): |
65 """ |
59 """ |
66 Callback for Tool Tip firing timer Event |
60 Callback for Tool Tip firing timer Event |
67 @param event: Tool tip text |
61 @param event: Tool tip text |