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
Tags: browser, firefox, greasemonkey, java, javadoc, search, tools, userscript, web
Leave a Reply