From cd9ac4c778b675fd74691c708f8b8287fce497e6 Mon Sep 17 00:00:00 2001
From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Wed, 13 Jul 2011 15:30:29 +0000
Subject: [PATCH] more tests on keyboard events.

---
 matitaB/matita/matitaweb.js | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/matitaB/matita/matitaweb.js b/matitaB/matita/matitaweb.js
index 4c4d0a406..e67594429 100644
--- 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 {
-- 
2.39.2