editors/TextViewer.py
changeset 1548 3ebc08f75fef
parent 1521 e44950d4c218
child 1556 32e9d0ef30dc
--- 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):