Description Adam Schlegel 2002-06-04 15:49:11 EDT

Bild F2

If a file has a bookmark defined for a particular line, then any modifications 
that take place in the workspace will update the position of the bookmark. If 
the file is modified outside of the workbench, the bookmark's position is not 
updated. Specifically, bookmarks defined on files that are modified by external 
tools are not updated.

For example:
1) Create a file with a few lines of text.
2) Add a bookmark to the first line of the file.
3) Close the editor for the file.
4) Insert a line of text at the start of the file from outside of the workspace.
5) Re-open the editor for the file.
6) Notice that the bookmark is still beside the first line of text in the file. 
If you click on the bookmark from the Bookmarks view, then the first n 
characters of the file are selected, where n is the number of characters that 
were originally on the first line of the file.
7) Contrast this to the behaviour when making the changes to the file in the 
workspace. The bookmark will follow the text of the first line, rather than the 
first characters in the file.