more tests with keyboard events.

[helm.git] / matitaB / matita / matitaweb.js

diff --git a/matitaB/matita/matitaweb.js b/matitaB/matita/matitaweb.js
index 5cd0fef8211a0f7d4d499ce8860ee5ef48fb8a25..e6286085a1a828f50e976b1045e22bdacc32ffb8 100644 (file)
--- a/matitaB/matita/matitaweb.js
+++ b/matitaB/matita/matitaweb.js
@@ -106,7 +106,7 @@ function keypress(e)
 {
    if (!e) e= event;
    pressmesg('keypress',e);
-   return suppressdefault(e,/*document.testform.keypress.checked*/ false);
+   return suppressdefault(e,/*document.testform.keypress.checked*/ true);
 }
  
 function debug(txt)