frame to be
dragged to add annotations.</li>
    <li><b>Settings...</b> Opens the settings dialog. The button labeled 'Defaults'
will revert all settings on all tabs to their default values. The button
labeled 'Defaults on current tab' will revert only the settings on the
current tab to their default values.</li>
</ul>

<p>The <em>current page</em> can be changed by entering the desired page into
the text field in the edit tool bar, which can be focused using Ctrl+K, and
pressing the return key.</p>

<h4><a