Close tab implemented. Operations require more than One PetriNet are executed iff Two PatriNets are selected.
Some little refactor.
Merge branch 'master' of github.com:saiddao/wolfed.git
Fixed problem tokens lost on merge.
Added CloneGraph Operation.
Refactor menuButton.
MergeInterfaces optimization.
Fix uses.
Casting placeMirror to Interface in toolspecific done.
Refactor
Version 0.9.9.9
Fix uses.