equal
deleted
inserted
replaced
189 self.Size = wx.Size(*BUTTON_SIZE) |
189 self.Size = wx.Size(*BUTTON_SIZE) |
190 self.Label = label |
190 self.Label = label |
191 self.Shown = True |
191 self.Shown = True |
192 self.Callback = callback |
192 self.Callback = callback |
193 |
193 |
194 def __del__(self): |
|
195 self.callback = None |
|
196 |
|
197 def GetSize(self): |
194 def GetSize(self): |
198 return self.Size |
195 return self.Size |
199 |
196 |
200 def SetPosition(self, x, y): |
197 def SetPosition(self, x, y): |
201 self.Position = wx.Point(x, y) |
198 self.Position = wx.Point(x, y) |
379 |
376 |
380 self.LastMousePos = None |
377 self.LastMousePos = None |
381 self.MessageToolTip = None |
378 self.MessageToolTip = None |
382 self.MessageToolTipTimer = wx.Timer(self, -1) |
379 self.MessageToolTipTimer = wx.Timer(self, -1) |
383 self.Bind(wx.EVT_TIMER, self.OnMessageToolTipTimer, self.MessageToolTipTimer) |
380 self.Bind(wx.EVT_TIMER, self.OnMessageToolTipTimer, self.MessageToolTipTimer) |
384 |
|
385 def __del__(self): |
|
386 self.ScrollTimer.Stop() |
|
387 |
381 |
388 def ResetLogMessages(self): |
382 def ResetLogMessages(self): |
389 self.ResetLogCounters() |
383 self.ResetLogCounters() |
390 self.OldestMessages = [] |
384 self.OldestMessages = [] |
391 self.LogMessages = [] |
385 self.LogMessages = [] |