Mon, 02 Mar 2020 16:30:29 +0100 Edouard Tisserant SVGHMI: detach/re-attach elements required by pages on page switch svghmi
Mon, 02 Mar 2020 16:25:35 +0100 Edouard Tisserant SVGHMI: re-indenting svghmi