Wed, 30 Oct 2019 15:17:05 +0100 | Edouard Tisserant | SVGHMI - prepare page with cached data when switching. This prevents values that do not change and that was already subscribed in previous page from keeping undefined. | changeset | files |
Tue, 29 Oct 2019 11:18:58 +0100 | Edouard Tisserant | SVGHMI: various insignificant code moves, commenting and typos fixes. | changeset | files |