Fri, 11 Oct 2024 10:38:30 +0200 Edouard Tisserant SVGHMI: remove widgets deprecated since long