Fri, 29 May 2020 09:46:07 +0200 dgaberscek Merge svghmi
Tue, 26 May 2020 10:59:01 +0200 dgaberscek SVGHMI: Added widget toggleButton. svghmi
Tue, 26 May 2020 10:53:02 +0200 dgaberscek SVGHMI: Changed widget button handler to element attribute. svghmi