Mon, 02 Mar 2020 10:29:41 +0100 | Edouard Tisserant | SVGHMI: fix some JS + add generation of detachable elements, to be continued | changeset | files |
Fri, 28 Feb 2020 22:54:07 +0100 | Edouard Tisserant | SVGHMI: now compute discardable elements first so that we can do better grouping of required elements when sumarizing. | changeset | files |