editors/TextViewer.py
changeset 1548 3ebc08f75fef
parent 1521 e44950d4c218
child 1556 32e9d0ef30dc
equal deleted inserted replaced
1547:33e03a4b3075 1548:3ebc08f75fef
   906                         self.Editor.DelLineLeft()
   906                         self.Editor.DelLineLeft()
   907                         self.Editor.AddText(" " * ((max(0, indent - 1) / 2) * 2))
   907                         self.Editor.AddText(" " * ((max(0, indent - 1) / 2) * 2))
   908                         key_handled = True
   908                         key_handled = True
   909             if not key_handled:
   909             if not key_handled:
   910                 event.Skip()
   910                 event.Skip()
   911         elif key in NAVIGATION_KEYS:
   911         else:
   912             event.Skip()
   912             event.Skip()
   913 
   913 
   914     def OnKillFocus(self, event):
   914     def OnKillFocus(self, event):
   915         self.Editor.AutoCompCancel()
   915         self.Editor.AutoCompCancel()
   916         event.Skip()
   916         event.Skip()