next up previous contents index
Next: 4. The Parser Up: 3. Viewer Previous: 3.4 Database Manager   Contents   Index


3.5 Bookmarks

Bookmarks are a fast way to move to user-defined positions in the documents.

Figure 3.11: Bookmarks.

Edit Bookmark will display a list of all defined bookmarks and allow you to delete bookmarks. To use a bookmark, just tap on the Bookmark icon and choose the bookmark you want to jump to.


The Plucker Team