--- a/editors/TextViewer.py Thu Oct 20 14:45:27 2016 +0300
+++ b/editors/TextViewer.py Fri Oct 21 13:06:31 2016 +0300
@@ -908,7 +908,7 @@
key_handled = True
if not key_handled:
event.Skip()
- elif key in NAVIGATION_KEYS:
+ else:
event.Skip()
def OnKillFocus(self, event):