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.
Mailing lists / lazarus / 2016-01
IDE, source editor, file not opened when jumping to bookmark
2 messages · 2 people ·
- Jürgen Hestermann 1
- Mattias Gaertner 1
Reply by email Subscribe to this list Your subscription
Read-only archive. Use j and k to move between messages.
Show quoted text 5 lines
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