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
|
Mon, 09 Mar 2020 13:43:34 +0100 |
Edouard Tisserant |
SVGHMI: fix wrong updates of HMI variables on each change, especially when not subscribed.
svghmi
|
changeset |
files
|
Mon, 09 Mar 2020 13:40:45 +0100 |
Edouard Tisserant |
SVGHMI: whitespaces
svghmi
|
changeset |
files
|
Fri, 06 Mar 2020 14:43:03 +0100 |
Edouard Tisserant |
SVGHMI: fixed repeated error when Input widget is missing 'value' element
svghmi
|
changeset |
files
|
Fri, 06 Mar 2020 14:42:08 +0100 |
Edouard Tisserant |
SVGHMI: more decoupling in between UI related and the rest of JS code, still in the aim of enhancing robustness under heavy load.
svghmi
|
changeset |
files
|
Fri, 06 Mar 2020 09:35:08 +0100 |
Edouard Tisserant |
SVGHMI: use requestAnimationFrame to delegate rendering of updates from network. Should help prevent browser collapse leading to watchdog in case of overload.
svghmi
|
changeset |
files
|
Thu, 05 Mar 2020 13:54:29 +0100 |
Edouard Tisserant |
SVGHMI: Fix disapearing elements in case of nested detachable elements.
svghmi
|
changeset |
files
|