Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#3875 New View support for Session switcher

minor bug
closed-duplicate
nobody
None
5
2014-07-22
2014-07-22
James Calfee
No

Session switcher ("Sessions") will change out files in all JEdit views (see View->New View). It would be much more flexible if it only changed the session in one view leaving it up to the user to decide which session belongs in which view.

jEdit 5.1.0

Discussion

  • Robert Schwenn
    Robert Schwenn
    2014-07-22

    Yes, You're right - and not the first one who noticed it ;-)

    This is a Duplicate of Plugin Bugs #1153.

     
  • Robert Schwenn
    Robert Schwenn
    2014-07-22

    • status: open --> closed-duplicate