Fri, 21 Feb 2020 16:18:53 +0100 Edouard Tisserant SVGHMI: optimize browser work by hiding (display:none) pages that are not displayed. svghmi
Fri, 21 Feb 2020 16:15:33 +0100 Edouard Tisserant SVGHMI: Better and less verbose SVG namespace handling in XSLT transform svghmi
Mon, 17 Feb 2020 13:57:44 +0100 Edouard Tisserant SVGHMI: Added mostly untested switch widget svghmi