more tests on keyboard events.

diff --git a/matitaB/matita/matitaweb.js b/matitaB/matita/matitaweb.js
index 4c4d0a406568bb62ebf1be8f7e710bf7b7fc613f..e6759442942192740ee69059608864169d1b80ec 100644 (file)
--- a/matitaB/matita/matitaweb.js
+++ b/matitaB/matita/matitaweb.js
@@ -148,8 +148,10 @@ function keypress(e)
              restoreSelection(); 
             return suppressdefault(e,true);
          }
-          restoreSelection(); 
-         else return suppressdefault(e,false);
+         else {
+             restoreSelection(); 
+            return suppressdefault(e,false);
+         }
        }
        else return suppressdefault(e,false);
    } else {