995158a8d2
This is a better implementation of the managing the JTree. Instead of destroying and creating the tree each time a resource is imported. It's now preserved and the tree nodes are managed by the resource container |
||
---|---|---|
.. | ||
main |