| Fri, 27 Mar 2020 14:25:24 +0100 |
Edouard Tisserant |
SVGHMI: Jump widget can now display as active or inactive, if corresponfing "active" and "inactive labeled elements are provided.
svghmi
|
changeset |
files
|
| Thu, 26 Mar 2020 14:21:52 +0100 |
Edouard Tisserant |
SVGHMI: added Back widget.
svghmi
|
changeset |
files
|
| 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
|
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.
svghmi
|
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
svghmi
|
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)
svghmi
|
changeset |
files
|
| Wed, 25 Mar 2020 13:36:04 +0100 |
Edouard Tisserant |
SVGHMI: Generalize applying cache to widgets, be it from page or ForEach widgets. Now ForEach widget buttons work as expected.
svghmi
|
changeset |
files
|