Edouard Tisserant [Thu, 15 Jul 2021 11:48:02 +0200] rev 3281
SVGHMI: Fixed halting problem when there is no session opened.
Edouard Tisserant [Tue, 13 Jul 2021 16:19:07 +0200] rev 3280
SVGHMI: Widget lib: small doc fix.
Edouard Tisserant [Tue, 13 Jul 2021 16:18:37 +0200] rev 3279
SVGHMI: DnD UI: Use widget's short description, initially forgoten.
Edouard Tisserant [Tue, 13 Jul 2021 16:16:58 +0200] rev 3278
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.