equal
deleted
inserted
replaced
565 if not wnd: |
565 if not wnd: |
566 wnd = self |
566 wnd = self |
567 InspectionTool().Show(wnd, True) |
567 InspectionTool().Show(wnd, True) |
568 |
568 |
569 def OnLogConsoleFocusChanged(self, event): |
569 def OnLogConsoleFocusChanged(self, event): |
570 if self: |
570 if self.EditMenu: |
571 self.RefreshEditMenu() |
571 self.RefreshEditMenu() |
572 event.Skip() |
572 event.Skip() |
573 |
573 |
574 def OnLogConsoleUpdateUI(self, event): |
574 def OnLogConsoleUpdateUI(self, event): |
575 self.SetCopyBuffer(self.LogConsole.GetSelectedText(), True) |
575 self.SetCopyBuffer(self.LogConsole.GetSelectedText(), True) |