Mon, 02 Mar 2020 10:29:41 +0100 Edouard Tisserant SVGHMI: fix some JS + add generation of detachable elements, to be continued svghmi