diff -r f2709923c82c -r bdd81e12e7b5 svghmi/svghmi.js
--- a/svghmi/svghmi.js	Tue Feb 09 07:55:16 2021 +0100
+++ b/svghmi/svghmi.js	Tue Feb 09 07:56:25 2021 +0100
@@ -342,17 +342,6 @@
     return new_val;
 }
 
-/*
-function change_hmi_value(index, opstr) {
-    let old_val = cache[index];
-    let new_val = eval_operation_string(old_val, opstr);
-    if(new_val != undefined && old_val != new_val)
-        send_hmi_value(index, new_val);
-    // TODO else raise
-    return new_val;
-}
-*/
-
 var current_visible_page;
 var current_subscribed_page;
 var current_page_index;