Fri, 24 Nov 2023 14:47:14 +0100SVGHMI: fix JS error loading empty single page
Edouard Tisserant <edouard.tisserant@gmail.com> [Fri, 24 Nov 2023 14:47:14 +0100] rev 3877
SVGHMI: fix JS error loading empty single page

svg:svg tag should not be considered as a detachable group,
so filter only svg:g elements

Fri, 24 Nov 2023 14:44:08 +0100IDE: fix exception showing network discovery
Edouard Tisserant <edouard.tisserant@gmail.com> [Fri, 24 Nov 2023 14:44:08 +0100] rev 3876
IDE: fix exception showing network discovery

Wed, 22 Nov 2023 21:10:10 +0100SVGHMI: Fix creation of SVG file if none provided
Edouard Tisserant <edouard.tisserant@gmail.com> [Wed, 22 Nov 2023 21:10:10 +0100] rev 3875
SVGHMI: Fix creation of SVG file if none provided

Wed, 22 Nov 2023 19:48:55 +0100IDE: Auto-select required libraries when adding extension
Edouard Tisserant <edouard.tisserant@gmail.com> [Wed, 22 Nov 2023 19:48:55 +0100] rev 3874
IDE: Auto-select required libraries when adding extension