objdictgen/networkedit.py
changeset 612 fc3399727a06
parent 608 daa1e1c3fba4
child 614 9b1fe0532d0d
equal deleted inserted replaced
608:daa1e1c3fba4 612:fc3399727a06
   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):