Thu, 05 May 2022 10:37:36 +0200 Edouard Tisserant SVGHMI: cosmetic fixes + removed dead code
Thu, 05 May 2022 10:35:29 +0200 Edouard Tisserant SVGHMI: allow widgets to disable clipping on variables given with min and max. Setting this.clip = false disables clipping.
Thu, 05 May 2022 10:31:16 +0200 Edouard Tisserant SVGHMI: allow designating widget's sub-elements as main element child rather than descendant. Names staring with "/" in yslt call to labels() only match direct widget childs.