From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Wed, 13 Jul 2011 15:30:29 +0000 (+0000)
Subject: more tests on keyboard events.
X-Git-Tag: make_still_working~2380
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=cd9ac4c778b675fd74691c708f8b8287fce497e6;p=helm.git

more tests on keyboard events.
---

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 {