equal
deleted
inserted
replaced
47 self.ToolTipPos = None |
47 self.ToolTipPos = None |
48 |
48 |
49 # Timer for firing Tool tip display |
49 # Timer for firing Tool tip display |
50 self.ToolTipTimer = wx.Timer(self.Parent, -1) |
50 self.ToolTipTimer = wx.Timer(self.Parent, -1) |
51 self.Parent.Bind(wx.EVT_TIMER, |
51 self.Parent.Bind(wx.EVT_TIMER, |
52 self.OnToolTipTimer, |
52 self.OnToolTipTimer, |
53 self.ToolTipTimer) |
53 self.ToolTipTimer) |
54 |
54 |
55 def __del__(self): |
55 def __del__(self): |
56 """ |
56 """ |
57 Destructor |
57 Destructor |
58 """ |
58 """ |