controls/LogViewer.py
changeset 1871 933fbe9a5e2c
parent 1847 6198190bc121
child 1878 fb73a6b6622d
equal deleted inserted replaced
1870:4d070115b552 1871:933fbe9a5e2c
   397     def SetLogSource(self, log_source):
   397     def SetLogSource(self, log_source):
   398         self.LogSource = proxy(log_source) if log_source else None
   398         self.LogSource = proxy(log_source) if log_source else None
   399         self.CleanButton.Enable(self.LogSource is not None)
   399         self.CleanButton.Enable(self.LogSource is not None)
   400         if log_source is not None:
   400         if log_source is not None:
   401             self.ResetLogMessages()
   401             self.ResetLogMessages()
   402             self.RefreshView()
   402             wx.CallAfter(self.RefreshView)
   403 
   403 
   404     def GetLogMessageFromSource(self, msgidx, level):
   404     def GetLogMessageFromSource(self, msgidx, level):
   405         if self.LogSource is not None:
   405         if self.LogSource is not None:
   406             answer = self.LogSource.GetLogMessage(level, msgidx)
   406             answer = self.LogSource.GetLogMessage(level, msgidx)
   407             if answer is not None:
   407             if answer is not None: