images/split.png
author Edouard Tisserant
Mon, 30 Mar 2020 14:26:42 +0200
branchsvghmi
changeset 2906 3b4a1319da09
parent 916 697d8b77d716
permissions -rw-r--r--
SVGHMI: Jump widget, if it has a 'disabled' labeled element, reflects value of the pointed HMITree variable by showing this element when value is False, and behaving normaly otherwise.
916
697d8b77d716 Improved matplotlib graphic debug panel implementation, adding force, release, split and delete graph buttons, replacing data grid by adding panel displaying non-numeric data between graphs
Laurent Bessard
parents:
diff changeset
     1
(binary:image/png)