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.