Tue, 13 Jul 2021 16:19:07 +0200 Edouard Tisserant SVGHMI: Widget lib: small doc fix. svghmi
Tue, 13 Jul 2021 16:18:37 +0200 Edouard Tisserant SVGHMI: DnD UI: Use widget's short description, initially forgoten. svghmi
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. svghmi