| Fri, 13 Mar 2020 21:42:40 +0100 |
Edouard Tisserant |
SVGHMI: relative pages and page jumps
svghmi
|
changeset |
files
|
| Fri, 13 Mar 2020 10:36:13 +0100 |
Edouard Tisserant |
SVGHMI: take care of path given in HMI:Page and HMI:Jump, but do not apply subscription offset for now. Intermediate commit in a "working" state.
svghmi
|
changeset |
files
|
| Thu, 12 Mar 2020 13:16:18 +0100 |
Edouard Tisserant |
SVGHMI: significant whitespace changes
svghmi
|
changeset |
files
|
| Thu, 12 Mar 2020 13:15:54 +0100 |
Edouard Tisserant |
SVGHMI: unsignificant changes or changes in generated code
svghmi
|
changeset |
files
|
| Thu, 12 Mar 2020 13:14:38 +0100 |
Edouard Tisserant |
SVGHMI: Stop ignoring HMI_NODE in HMI tree, and count it as a BOOL. Soon we use those nodes as reference for relative page jump, and as an "enable" bit for features associated to an HMI tree fragment.
svghmi
|
changeset |
files
|
| Thu, 12 Mar 2020 09:33:20 +0100 |
Edouard Tisserant |
SVGHMI: cosmetic code moving
svghmi
|
changeset |
files
|
| Tue, 10 Mar 2020 13:57:29 +0100 |
Edouard Tisserant |
SVGHMI: split page switch into switching subscription and switching elements in the DOM, to ensure that subscriptions have been send before changing DOM, and avoid some flicker.
svghmi
|
changeset |
files
|