Wed, 04 Mar 2020 16:46:35 +0100 | Edouard Tisserant | SVGHMI: more whitespace fixes | changeset | files |
Wed, 04 Mar 2020 16:46:03 +0100 | Edouard Tisserant | SVGHMI: unlink clones (i.e. deep copy elements refered by svg:use) inside widget. | changeset | files |
Wed, 04 Mar 2020 09:31:53 +0100 | Edouard Tisserant | SVGHMI: whitespaces and comments | changeset | files |
Tue, 03 Mar 2020 16:29:22 +0100 | Edouard Tisserant | SVGHMI: completely fixed indentation of generated widget description. Lets try to keep it as-is until we can use yslt indentation. | changeset | files |
Tue, 03 Mar 2020 10:58:00 +0100 | Edouard Tisserant | SVGHMI: re-indent generated JS | changeset | files |
Mon, 02 Mar 2020 16:30:29 +0100 | Edouard Tisserant | SVGHMI: detach/re-attach elements required by pages on page switch | changeset | files |