| Wed, 04 Mar 2020 09:31:53 +0100 |
Edouard Tisserant |
SVGHMI: whitespaces and comments
svghmi
|
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.
svghmi
|
changeset |
files
|
| Tue, 03 Mar 2020 10:58:00 +0100 |
Edouard Tisserant |
SVGHMI: re-indent generated JS
svghmi
|
changeset |
files
|
| Mon, 02 Mar 2020 16:30:29 +0100 |
Edouard Tisserant |
SVGHMI: detach/re-attach elements required by pages on page switch
svghmi
|
changeset |
files
|
| Mon, 02 Mar 2020 16:25:35 +0100 |
Edouard Tisserant |
SVGHMI: re-indenting
svghmi
|
changeset |
files
|
| Mon, 02 Mar 2020 14:43:21 +0100 |
Edouard Tisserant |
SVGHMI: declares pages detachable requirements as an object, to find more efficiently common requirements
svghmi
|
changeset |
files
|
| Mon, 02 Mar 2020 10:29:41 +0100 |
Edouard Tisserant |
SVGHMI: fix some JS + add generation of detachable elements, to be continued
svghmi
|
changeset |
files
|
| Fri, 28 Feb 2020 22:54:07 +0100 |
Edouard Tisserant |
SVGHMI: now compute discardable elements first so that we can do better grouping of required elements when sumarizing.
svghmi
|
changeset |
files
|