Mon, 08 Nov 2021 14:06:29 +0100 | Edouard Tisserant | SVGHMI: Changes /CURRENT_PAGE_* behaviour to prevent problem whith multiclient : all clients were switching page when one was jumping. | changeset | files |
Mon, 08 Nov 2021 14:03:21 +0100 | Edouard Tisserant | SVGHMI: changes that should fix some corner cases about unlinking and discardable element that still didn't show until now. | changeset | files |