diff -r f263359d8108 -r 1fb0c07bd97b svghmi/svghmi.js
--- a/svghmi/svghmi.js	Tue Feb 02 16:39:02 2021 +0100
+++ b/svghmi/svghmi.js	Thu Feb 04 21:20:01 2021 +0100
@@ -465,17 +465,3 @@
     current_modal = undefined;
 };
 
-function widget_active_activable(eltsub) {
-    if(eltsub.inactive_style === undefined)
-        eltsub.inactive_style = eltsub.inactive.getAttribute("style");
-    eltsub.inactive.setAttribute("style", "display:none");
-    if(eltsub.active_style !== undefined)
-            eltsub.active.setAttribute("style", eltsub.active_style);
-};
-function widget_inactive_activable(eltsub) {
-    if(eltsub.active_style === undefined)
-        eltsub.active_style = eltsub.active.getAttribute("style");
-    eltsub.active.setAttribute("style", "display:none");
-    if(eltsub.inactive_style !== undefined)
-            eltsub.inactive.setAttribute("style", eltsub.inactive_style);
-};