[Lazarus] IDE, source editor, file not opened when jumping to bookmark

[Mattias Gaertner]

On Fri, 1 Jan 2016 15:32:03 +0100
Jürgen Hestermann <juergen.hestermann at gmx.de> wrote:

> Lazarus 1.6 RC1:
> If I have a bookmark in a file that has not (yet) been opened in the
> source editor shouldn't the file be opened when I jump to this bookmark?
> It's quite annoying that nothing happens and I only find out later that
> this is not because the bookmark was deleted but simply because the file has been closed.

Feel free to implement an option to reopen the file.

Mattias