images/delete_graph.png
author Andrey Skvortsov <andrej.skvortzov@gmail.com>
Wed, 04 Jul 2018 17:47:38 +0300
changeset 2243 02f03bd7639e
parent 929 c562031146e4
permissions -rw-r--r--
remove useless code

1. hotkey is already defined in menu string
2. remove duplicated code
929
c562031146e4 Improved matplotlib graphic debug panel implementation
Laurent Bessard
parents:
diff changeset
     1
(binary:image/png)