Menu

#3875 New View support for Session switcher

minor bug
closed-duplicate
nobody
None
5
2014-07-22
2014-07-22
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
     

Log in to post a comment.