| 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 |
| Tue, 13 Jul 2021 16:16:58 +0200 | Edouard Tisserant | SVGHMI: Fixed typo on session manager unregister, leading to wrong count of sessions and then exceptions when creating more session than allowed in protocol options. Also added more safety check in protocol in case session would be missing. | changeset | files |