diff -r 33e03a4b3075 -r 3ebc08f75fef editors/TextViewer.py
--- 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):