Thu, 04 Jun 2020 11:14:21 +0200 Edouard Tisserant SVGHMI: add "unsubscribable" property to widgets in order to generalize what already happens for jump buttons. svghmi
Wed, 03 Jun 2020 13:31:55 +0200 Edouard Tisserant merge svghmi
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
Tue, 02 Jun 2020 13:37:34 +0200 Edouard Tisserant Runtime: create .md5 file at the end of all transfered files being written to disk, so that it presence indicates completeness of transfer. svghmi
Tue, 02 Jun 2020 11:34:50 +0200 Edouard Tisserant IDE: Main toolbar : Show repair button also in stop mode. Move repair button after disconnect button. svghmi