images/splash.png
author Edouard Tisserant <edouard.tisserant@gmail.com>
Wed, 05 Aug 2020 18:53:56 +0200
branchsvghmi
changeset 3006 bbffdefd2eed
parent 809 b86b8898fd52
child 968 eee7625de1f7
child 1641 24168e52fc2b
child 3568 494c90b895ad
permissions -rw-r--r--
SVGHMI: JS refactoring continued : "dispatch_value_to_widget" becomes widget class member "new_hmi_value" (was also broken by previous relativeness commit)
(binary:image/png)