The following Greasemonkey userscript will add an incremental search feature to any JavaDoc displayed in the browser.
http://www.teria.com/~koseki/tools/gm/javadoc_isearch/index.html
In order to use the script you’ll need the Greasemonkey addon, too: https://addons.mozilla.org/de/firefox/addon/748
Advertisements
