(89/212) 253 - Per edit-pane buffer history

The recent.xml file stores the buffer history (recent buffers, caret location in each buffer, etc). It stores one entry for each buffer, but in fact, the same buffer can be open in several edit panes, or several views, with different properties (e.g. different caret location in each). When jEdit is exited, only one of those buffers is saved in the buffer history, and the others are lost. When jEdit is later restarted, all views/edit pane with that buffer will use the same properties.
The properties saved should be per instance of the buffer. One solution is to allow several indexed entries for each buffer, and specifying the right index for each edit pane in the perspective.xml file.

Comments