search

SRI-CSL / PVS

The People's Verification System
http://pvs.csl.sri.com
GNU General Public License v2.0
139 stars 32 forks source link

Implement a Dynamic Tree View #9

Open happyhuman opened 11 years ago

happyhuman commented 11 years ago

We need a dynamic tree visualization API with the following capabilities:

happyhuman commented 11 years ago

The best wx package that I found is called FloatCanvas. It has some capabilities to do this, but we need to implement most of the needed features.