In ProofTool, expansion trees can now be reordered. While there is no drag & drop, I implemented the next best thing: the trees are now numbered. Clicking on a number will highlight it. When one number is highlighted, clicking it again will return it to normal, while clicking on another number will swap the two. Note that when you swap two trees, all trees on that side will be closed because the whole side is redrawn.

While implementing this, I basically razed the DrawExpansionSequent class to the ground and rebuilt it from the rubble. I think it should be easier to change/extend now.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2264 85d21ef8-add0-11de-ae77-5bfb9c5a3f34