Thu, 26 Mar 2020 14:21:52 +0100 Edouard Tisserant SVGHMI: added Back widget. svghmi
Thu, 26 Mar 2020 13:33:20 +0100 Edouard Tisserant SVGHMI: Jump widget now make errors if path given for relative jump doesn't match target page reference path class. svghmi