Chapter 13 Structured Texts 13.3.4 Bookmark After lines are bookmarked, users can find or go to the lines easily. Adding/Removing bookmarks If users want to add a bookmark to a line, they can select the line, click the right mouse button, click Bookmarks on the context menu, and select a bookmark number. If users want to remove the bookmark from a line, they can select the line, click the right mouse button, click Bookmarks on the context menu, and click the bookmark number corresponding to the bookmark added to the line.
If the bookmark number clicked does not correspond to the bookmark added to the line, the bookmark number added to the line will Remove All Bookmarks , all the bookmarks in the working area will be removed. become the bookmark number clicked. Besides, if users click the Edit menu, point to Bookmarks , and click If users click a bookmark number which has been added to another line, the bookmark number will be moved to the line selected presently. Going to a bookmark Right-click the working area, point to Goto the Bookmark on the context menu, and click a bookmark number. 13-31