[ jEdit-devel ] [ jedit-Bugs-510633 ] session: cursor pos lost (current buffer

Bugs item #510633, was opened at 2002-01-30 02:34
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=510633&group_id=588

Category: plugins
Group: minor bug
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: session: cursor pos lost (current buffer

Initial Comment:
session plugin: when changing to another session and changing back, current buffer looses cursor 
position, all other buffers ok.

----------------------------------------------------------------------

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=510633&group_id=588