images/split.png
author Andrey Skvortsov <andrej.skvortzov@gmail.com>
Mon, 04 Dec 2017 11:20:46 +0300
changeset 1882 3707240447f8
parent 916 697d8b77d716
permissions -rw-r--r--
fix deadlock if method kill() is called after process is already finished
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)