changeset 1760:9c9b9e0f78d2

Use getElementById() instead of referring to document forms.
author Matti Hamalainen <ccr@tnsp.org>
date Fri, 20 Oct 2017 19:27:24 +0300
parents 7884848298bd
children cf0369e8aeff
files util.js
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/util.js	Fri Oct 20 15:55:57 2017 +0300
+++ b/util.js	Fri Oct 20 19:27:24 2017 +0300
@@ -137,7 +137,7 @@
 
 function jsGotoPos()
 {
-  var newLoc = document.forms[0].slocation.value;
+  var newLoc = document.getElementById("slocation").value;
   if (currLoc != newLoc)
   {
     var nelem = document.getElementById(newLoc);