--- a/TextView.st	Tue Mar 06 17:02:50 2018 +0100
+++ b/TextView.st	Fri Mar 09 00:59:36 2018 +0100
@@ -1932,7 +1932,9 @@
 
      (see EditTextView>>keyPress:x:y and Workspace>>keyPress:x:y)
     "
-    (key notEmptyOrNil and:[(key at:1) asLowercase == $f]) ifTrue:[
+    "/ do NOT replace by notEmptyOrNil !!!!!!
+    "/ key can be a character!!!!!!!!
+    (key size > 0 and:[(key at:1) asLowercase == $f]) ifTrue:[
         (('[fF][0-9]' match:key)
          or:['[fF][0-9][0-9]' match:key]) ifTrue:[
             self sensor shiftDown ifTrue:[
@@ -1947,6 +1949,7 @@
 
     "Modified (format): / 30-03-2017 / 22:35:58 / stefan"
     "Modified: / 01-09-2017 / 14:32:27 / cg"
+    "Modified: / 09-03-2018 / 00:58:56 / mawalch"
 !
 
 mapped