images/splash.png
author Edouard Tisserant
Thu, 04 Jun 2020 11:14:21 +0200
branchsvghmi
changeset 2980 2a21d6060d64
parent 809 b86b8898fd52
child 968 eee7625de1f7
child 1641 24168e52fc2b
child 3568 494c90b895ad
permissions -rw-r--r--
SVGHMI: add "unsubscribable" property to widgets in order to generalize what already happens for jump buttons.
In most cases jump buttons do not really subscribe to pointed HMI variable, path is given as a relative page jump path. When widget.unsubscribable is set to true, no subscription is made on page switch, but still offset is updated.
This fixes bug happening on relative jump buttons without "disabled" element where offset did not change on relative page switch.
809
b86b8898fd52 Stripped out splash screen version information
Edouard Tisserant
parents: 711
diff changeset
     1
(binary:image/png)