#1796 Navigator tool bar buttons lost due to full-screen mode

None
closed-fixed
None
5
2014-11-02
2014-07-22
Makarius
No

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.

Discussion

  • Dale Anson

    Dale Anson - 2014-11-02
    • assigned_to: Dale Anson
    • Group: -->
     
  • Dale Anson

    Dale Anson - 2014-11-02
    • status: open --> closed-fixed
     
  • Dale Anson

    Dale Anson - 2014-11-02

    Fixed in revision 23715. This requires at least jEdit 5.3pre1 as part of this fix is to have the View send a message when full screen mode is toggled.

     

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks