On Fri, 1 Jan 2016 15:32:03 +0100 Jürgen Hestermann <[email protected]> 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 -- _______________________________________________ Lazarus mailing list [email protected] http://lists.lazarus.freepascal.org/mailman/listinfo/lazarus
