<type>wingtip</type>
<domain>intro</domain>
<id>bookmarks</id>
<title>Bookmarks</title>
<date>$Date: 2004-06-22 23:31:47 -0400 (Tue, 22 Jun 2004) $</date>
<version>$Revision: 8861 $</version>
<product>pro+</product>

You can set bookmarks in source code, by right-clicking on the editor or using the items
in the ``Source`` menu.

Bookmarks may be traversed with ``Traverse Bookmarks`` in the ``Source`` menu, or from the
bookmarks icon that appears in the top right of any editor that contains bookmarks.

The ``Bookmarks`` tool is used for renaming, deleting, and assigning categories to
bookmarks.

See `Bookmarks <ref:edit/bookmarks>`__ for details.
