Tue, 02 Feb 2021 11:20:54 +0100Merged svghmi
Edouard Tisserant [Tue, 02 Feb 2021 11:20:54 +0100] rev 3123
Merged

Tue, 02 Feb 2021 11:17:03 +0100SVGHMI: make a copy of tests/svghmi as test/svghmi_widget because too crowded since having pages for widget documentation. Strip those pages from tests/svghmi, so that it svghmi
Edouard Tisserant [Tue, 02 Feb 2021 11:17:03 +0100] rev 3122
SVGHMI: make a copy of tests/svghmi as test/svghmi_widget because too crowded since having pages for widget documentation. Strip those pages from tests/svghmi, so that it
is more light for regular testing.

Tue, 02 Feb 2021 10:59:00 +0100SVGHMI: Prevent excluded widget to appear in generated pages' widget list. svghmi
Edouard Tisserant [Tue, 02 Feb 2021 10:59:00 +0100] rev 3121
SVGHMI: Prevent excluded widget to appear in generated pages' widget list.