More keyboard handling tests

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

diff --git a/matitaB/matita/matitaweb.js b/matitaB/matita/matitaweb.js
index 38f8c97d01bb7b4b4f24f9ba7896baec28b803de..8b607e21adcb897cebea009b3bdcc98075bb2d69 100644 (file)
--- 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);
         }