Jumper is now an add-on
- Jumper is now packaged as an add-on, easier to install or deinstall
- Improved help text
- Better UI design, possibility to hide the options
- Improved nodes level display, now works in regular or in transversal search mode
If you were using the script version before, do not forget to erase scripts/Jumper.groovy and lib/Jumper.jar from the Freeplane home directory.