controls/LogViewer.py
branchpython3
changeset 3765 88fe6fc9fd38
parent 3759 f713566d5d01
child 3768 c032fff8af32
equal deleted inserted replaced
3764:d92c1a3dafa7 3765:88fe6fc9fd38
   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 = []