| Thu, 06 Aug 2020 14:59:04 +0200 | Edouard Tisserant | SVGHMI : have to move some JS declarations from "preamble" to "declarations" and others from "declarations" to "definitions" section to make room for JS libraries that would be used by widget classes. | changeset | files |