# HG changeset patch
# User Edouard Tisserant
# Date 1606312043 -3600
# Node ID d345673610b0b11bcf86e92c1619af77097bf63c
# Parent  82312473d153c2ec6b654e1d56319de7cb56c886
SVGHMI: use const when applicable

diff -r 82312473d153 -r d345673610b0 svghmi/svghmi.js
--- 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];