images/split.png
author Edouard Tisserant
Fri, 27 Mar 2020 14:25:24 +0100
branchsvghmi
changeset 2903 881d0248b3ce
parent 916 697d8b77d716
permissions -rw-r--r--
SVGHMI: Jump widget can now display as active or inactive, if corresponfing "active" and "inactive labeled elements are provided.
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)