Thu, 19 Mar 2020 19:23:56 +0100SVGHMI: reworked widget (un)subscription now a method of widgect object, allowing special subscription methods svghmi
Edouard Tisserant <edouard.tisserant@gmail.com> [Thu, 19 Mar 2020 19:23:56 +0100] rev 2889
SVGHMI: reworked widget (un)subscription now a method of widgect object, allowing special subscription methods