Update browser.html

underpig1 · Aug 7, 2020 · 0cea52d · 0cea52d
1 parent 4aff349
commit 0cea52d
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/docs/browser/browser.html b/docs/browser/browser.html
@@ -137,11 +137,15 @@ <h3>NEURON</h3>
       setInterval(syntax, 10);
 
       function syntax() {
-        var selection = saveSelection(document.getElementById("code"));
+        if (window.getSelection().rangeCount > 0) {
+          var selection = saveSelection(document.getElementById("code"));
+        }
         for (var i in grammers.patterns) {
           highlight(grammers.patterns[i].match, grammers.patterns[i].name);
         }
-        restoreSelection(document.getElementById("code"), selection);
+        if (window.getSelection().rangeCount > 0) {
+          restoreSelection(document.getElementById("code"), selection);
+        }
 
         function highlight(re, cl) {
           code.innerHTML = code.innerHTML.replace(re, `<span class = "${cl}">$&</span>`);