equal
deleted
inserted
replaced
533 def OnLogConsoleFocusChanged(self, event): |
533 def OnLogConsoleFocusChanged(self, event): |
534 self.RefreshEditMenu() |
534 self.RefreshEditMenu() |
535 event.Skip() |
535 event.Skip() |
536 |
536 |
537 def OnLogConsoleUpdateUI(self, event): |
537 def OnLogConsoleUpdateUI(self, event): |
538 self.SetCopyBuffer(self.LogConsole.GetSelectedText(), True) |
538 if event.GetUpdated()==wx.stc.STC_UPDATE_SELECTION: |
|
539 self.SetCopyBuffer(self.LogConsole.GetSelectedText(), True) |
539 event.Skip() |
540 event.Skip() |
540 |
541 |
541 def OnLogConsoleMarginClick(self, event): |
542 def OnLogConsoleMarginClick(self, event): |
542 line_idx = self.LogConsole.LineFromPosition(event.GetPosition()) |
543 line_idx = self.LogConsole.LineFromPosition(event.GetPosition()) |
543 wx.CallAfter(self.SearchLineForError, self.LogConsole.GetLine(line_idx)) |
544 wx.CallAfter(self.SearchLineForError, self.LogConsole.GetLine(line_idx)) |