From 0396a6069b8e3140bf39778c46b273e9fb2f8947 Mon Sep 17 00:00:00 2001 From: Wilmer Ricciotti Date: Wed, 13 Jul 2011 14:25:54 +0000 Subject: [PATCH 1/1] more tests with keyboard events. --- matitaB/matita/matitaweb.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matitaB/matita/matitaweb.js b/matitaB/matita/matitaweb.js index 5cd0fef82..e6286085a 100644 --- 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) -- 2.39.2