 performed in all
tabs. It also shows the text surrounding a result with the search term being
emphasized. Clicking on a result opens the corresponding tab and jumps to
its position.</p>

<h3><a name="settings">Settings</a> <a href="#top">&uarr;</a></h3>

<h4><a name="behaviorsettings">Behavior settings</a> <a href="#top">&uarr;</a></h4>

<ul>
    <li><b>Open URL</b> Determines whether links to URL are opened in the default
browser.</li>
    <li><b>Auto-refresh</b> Determines whether files are automatically