equal
deleted
inserted
replaced
392 event.Skip() |
392 event.Skip() |
393 |
393 |
394 def OnChar(self, event): |
394 def OnChar(self, event): |
395 if event.ControlDown() and event.GetKeyCode() == 83 and getattr(self, "_onsave", None) != None: |
395 if event.ControlDown() and event.GetKeyCode() == 83 and getattr(self, "_onsave", None) != None: |
396 self._onsave() |
396 self._onsave() |
397 event.Skip() |
397 #event.Skip() |
398 |
398 |
399 def OnQuitMenu(self, event): |
399 def OnQuitMenu(self, event): |
400 self.Close() |
400 self.Close() |
401 |
401 |
402 def OnAddSDOServerMenu(self, event): |
402 def OnAddSDOServerMenu(self, event): |