Re: [ jEdit-users ] jEdit not reopening files

[Dirk M. <dmo...@gm...>]

Hi Slava,

> I had a different experience with BufferList 0.6. It saved/restored
> the session just fine, however, the caret positions in buffers were
> not restored, and instead of selecting the buffer that was active
> last, it would always select the first buffer.
> 
> Is this intentional, or a bug?

Bugs. I discovered it yesterday evening, too. 

1) The last active buffer is not restored. This is fixed in 0.6.1.

2) Caret positions are not restored: this is because BufferList loads the
buffers too early in initialization phase. The BufferHistory and the property
"saveCaret" are not yet initialized in the start() method of the plugin.

This is because in jEdit.java initPlugins() comes before
BufferHistory.load() (and boolean saveCaret is initialized to false).

How can I fix this? If I restore the buffers later, eg. at
ViewUpdate.CREATED time, I have the problem that jEdit has already loaded the recent buffers
and I have to close them. Maybe the order of jEdit initialization should be
changed in this respect.

Dirk.


-- 
GMX - Die Kommunikationsplattform im Internet.
http://www.gmx.net