Thu, 15 Jul 2021 11:48:02 +0200 | Edouard Tisserant | SVGHMI: Fixed halting problem when there is no session opened. | changeset | files |
Tue, 13 Jul 2021 16:19:07 +0200 | Edouard Tisserant | SVGHMI: Widget lib: small doc fix. | changeset | files |
Tue, 13 Jul 2021 16:18:37 +0200 | Edouard Tisserant | SVGHMI: DnD UI: Use widget's short description, initially forgoten. | changeset | files |