svghmi/svghmi.js
changeset 3690 f41733be17a8
parent 3685 570a738239f4
child 3837 efe0b5b21842
--- a/svghmi/svghmi.js	Thu Nov 24 10:54:58 2022 +0100
+++ b/svghmi/svghmi.js	Thu Nov 24 11:47:56 2022 +0100
@@ -666,7 +666,6 @@
 
 create_ws()
 
-const xmlns = "http://www.w3.org/2000/svg";
 var edit_callback;
 const localtypes = {"PAGE_LOCAL":null, "HMI_LOCAL":null}
 function edit_value(path, valuetype, callback, initial) {