Thu, 26 Mar 2020 13:33:20 +0100SVGHMI: Jump widget now make errors if path given for relative jump doesn't match target page reference path class. svghmi
Edouard Tisserant [Thu, 26 Mar 2020 13:33:20 +0100] rev 2901
SVGHMI: Jump widget now make errors if path given for relative jump doesn't match target page reference path class.

Thu, 26 Mar 2020 11:17:34 +0100SVGHMI: Check that explicit relative page jump path is consistant with destination page reference path. svghmi
Edouard Tisserant [Thu, 26 Mar 2020 11:17:34 +0100] rev 2900
SVGHMI: Check that explicit relative page jump path is consistant with destination page reference path.

Wed, 25 Mar 2020 14:09:15 +0100SVGHMI: ForEach Widget now has a better wrap-around when scrolling : hit the boundary systematically before wrapping svghmi
Edouard Tisserant [Wed, 25 Mar 2020 14:09:15 +0100] rev 2899
SVGHMI: ForEach Widget now has a better wrap-around when scrolling : hit the boundary systematically before wrapping

Wed, 25 Mar 2020 13:56:04 +0100SVGHMI: Alow relative relative Jump. (i.e, relative jump from a foreach widget) svghmi
Edouard Tisserant [Wed, 25 Mar 2020 13:56:04 +0100] rev 2898
SVGHMI: Alow relative relative Jump. (i.e, relative jump from a foreach widget)

Wed, 25 Mar 2020 13:36:04 +0100SVGHMI: Generalize applying cache to widgets, be it from page or ForEach widgets. Now ForEach widget buttons work as expected. svghmi
Edouard Tisserant [Wed, 25 Mar 2020 13:36:04 +0100] rev 2897
SVGHMI: Generalize applying cache to widgets, be it from page or ForEach widgets. Now ForEach widget buttons work as expected.

Tue, 24 Mar 2020 23:07:54 +0100SVGHMI: Widget ForEach buttons now call corresponding methods. svghmi
Edouard Tisserant <edouard.tisserant@gmail.com> [Tue, 24 Mar 2020 23:07:54 +0100] rev 2896
SVGHMI: Widget ForEach buttons now call corresponding methods.