Wed, 03 Jun 2020 13:31:55 +0200merge svghmi
Edouard Tisserant [Wed, 03 Jun 2020 13:31:55 +0200] rev 2979
merge

Fri, 29 May 2020 09:46:07 +0200Merge svghmi
dgaberscek [Fri, 29 May 2020 09:46:07 +0200] rev 2978
Merge

Tue, 26 May 2020 10:59:01 +0200SVGHMI: Added widget toggleButton. svghmi
dgaberscek [Tue, 26 May 2020 10:59:01 +0200] rev 2977
SVGHMI: Added widget toggleButton.

Tue, 26 May 2020 10:53:02 +0200SVGHMI: Changed widget button handler to element attribute. svghmi
dgaberscek [Tue, 26 May 2020 10:53:02 +0200] rev 2976
SVGHMI: Changed widget button handler to element attribute.