Thu, 18 Jun 2020 10:42:08 +0200 | Edouard Tisserant | Merge default changes in SVGHMI | changeset | files |
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. | changeset | files |
Wed, 03 Jun 2020 13:31:55 +0200 | Edouard Tisserant | merge | changeset | files |