You can type a query in the search field, and that content will be filtered accordingly. Once the userscript or extension is installed, it will work on any JavaDoc HTML.
Thursday, June 02, 2011
Productivity Tool: search bar for any JavaDoc HTML
While searching for a way to hide certain Java packages from the standard HTML JavaDoc output, I ran into a nifty tool: an extension for Chrome and Firefox (this one is in fact a userscript, which we use in life sciences too):
You can type a query in the search field, and that content will be filtered accordingly. Once the userscript or extension is installed, it will work on any JavaDoc HTML.
You can type a query in the search field, and that content will be filtered accordingly. Once the userscript or extension is installed, it will work on any JavaDoc HTML.
No comments:
Post a Comment