images/split.png
author Edouard Tisserant
Fri, 02 Aug 2013 08:55:45 +0900
changeset 1281 47131e3388f4
parent 916 697d8b77d716
permissions -rw-r--r--
Various cleanup and optimization
- Deleted shameful dead code here and here...
- Accelerated creation of GenBitmap*Button adding some caching for bitmap grayOut
- Replaced lists inside type use dictionary by sets
- Prevented useless type usage checking when unnecessary
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)