From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Thu, 14 Jul 2011 12:43:13 +0000 (+0000)
Subject: More keyboard handling tests
X-Git-Tag: make_still_working~2377
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=66cd2dbc1838b93c9d89511b4fed5848e2c6d65d;p=helm.git

More keyboard handling tests
---

diff --git a/matitaB/matita/matitaweb.js b/matitaB/matita/matitaweb.js
index 38f8c97d0..8b607e21a 100644
--- a/matitaB/matita/matitaweb.js
+++ b/matitaB/matita/matitaweb.js
@@ -117,8 +117,7 @@ function restoreSelection() {
             if (s.rangeCount > 0) 
                 s.removeAllRanges();
 	    range = document.createRange();
-	    range.startContainer = savedsc;
-	    range.startOffset = savedso;
+	    range.setStart(savedsc,savedso);
 	    range.collapse(true);
             s.addRange(range);
         }