Fri, 08 Jul 2022 11:58:10 +0200 | Edouard Tisserant | SVGHMI: fix js exception because of trying to find already detached elements by id. | changeset | files |
Wed, 06 Jul 2022 10:39:11 +0200 | Edouard Tisserant | SVGHMI: better handling of page switch fade-out. | changeset | files |