Thu, 18 Jun 2020 11:00:26 +0200 Edouard Tisserant Merge default changes in SVGHMI svghmi
Thu, 18 Jun 2020 10:42:08 +0200 Edouard Tisserant Merge default changes in SVGHMI svghmi
Thu, 04 Jun 2020 11:14:21 +0200 Edouard Tisserant SVGHMI: add "unsubscribable" property to widgets in order to generalize what already happens for jump buttons. svghmi