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

[Jürgen Hestermann]

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.