A file containing named bookmarks, contains one or more bookmarks of the form:
/*@Some useful phrase*/
These can be placed by the Create Bookmark command, and/or by manual insertion, as desired. They should be removed by simply deleting them in the normal way.
Activating the move to named bookmark command, will bring up a window with a dropdown list of all availably bookmarks in the file, in the order that they appear in the text. Simply select the desired one, and press OK.
Although bookmarks can be placed by simply editing in a suitable comment, it is sometimes more convenient to do this by command. Position to the point where you wish to place the bookmark, issue the Create Bookmark command, and fill in the name of the bookmark. Bookmark names do not need to be unique. The bookmark is placed on a line of its own, although this is not necessary in order for it to work.
To contact me, please go to my main page