svghmi/svghmi.js
branchsvghmi
changeset 3078 d345673610b0
parent 3075 2f9dbd3ee445
child 3080 e5fa1f49f0b9
--- a/svghmi/svghmi.js	Wed Nov 25 14:46:25 2020 +0100
+++ b/svghmi/svghmi.js	Wed Nov 25 14:47:23 2020 +0100
@@ -264,7 +264,7 @@
     return new_val;
 }
 
-quotes = {"'":null, '"':null};
+const quotes = {"'":null, '"':null};
 
 function change_hmi_value(index, opstr) {
     let op = opstr[0];