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. | changeset | files |
Thu, 26 Mar 2020 11:17:34 +0100 | Edouard Tisserant | SVGHMI: Check that explicit relative page jump path is consistant with destination page reference path. | changeset | files |
Wed, 25 Mar 2020 14:09:15 +0100 | Edouard Tisserant | SVGHMI: ForEach Widget now has a better wrap-around when scrolling : hit the boundary systematically before wrapping | changeset | files |
Wed, 25 Mar 2020 13:56:04 +0100 | Edouard Tisserant | SVGHMI: Alow relative relative Jump. (i.e, relative jump from a foreach widget) | changeset | files |