svghmi/svghmi.js
branchsvghmi
changeset 3075 2f9dbd3ee445
parent 3068 81758c94f3df
child 3078 d345673610b0
--- a/svghmi/svghmi.js	Fri Nov 20 11:17:40 2020 +0100
+++ b/svghmi/svghmi.js	Wed Nov 25 14:43:03 2020 +0100
@@ -413,8 +413,11 @@
 
 var 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, size) {
-
+    if(valuetype in localtypes){
+        valuetype = (typeof initial) == "number" ? "HMI_REAL" : "HMI_STRING";
+    }
     let [keypadid, xcoord, ycoord] = keypads[valuetype];
     edit_callback = callback;
     let widget = hmi_widgets[keypadid];