l bookmarks</b> Removes all bookmarks.</li>
    <li><b>Open</b> Opens the corresponding file in the current tab. If there is no
tab, the file is opened in a new tab.</li>
    <li><b>Open in new tab</b> Opens the corresponding file in a new tab.</li>
    <li><b>Jump to page</b> Jumps to the corresponding page if the corresponding
file is already open. Otherwise the corresponding file is opened in a new
tab.</li>
</ul>

<h4><a name="help">Help</a> <a href="#top">&uarr;</a></h4>

<ul>
	<li><b>Contents</b> Disp