This is Navigator 2.5 with jEdit 5.1.0 or jEdit 5.2pre1, running on Linux or Windows, with Java 7 or 8.
Enabling the plugin option
navigator.showOnToolbar the tool bar buttons first appear as expected. Later they get lost when the tool bar is reset in certain situations, e.g. when flipping full-screen mode back and forth.
Log in to post a comment.