-
Notifications
You must be signed in to change notification settings - Fork 4
Home
StevenGBrown edited this page Nov 11, 2022
·
5 revisions
Javadoc incremental search for Mozilla Firefox and Google Chrome.
When viewing Javadocs, this script replaces the package and class frames with a single search frame that allows searching incrementally through all packages and classes at once.
This is achieved with client-side Javascript, so it will work on any local or remote Javadoc page.
Tampermonkey ✅
Violentmonkey ✅
Greasemonkey
- Currently does not work in Greasemonkey due to: https://github.com/greasemonkey/greasemonkey/issues/2574
- To have this extension apply to
file://URLs, open theabout:configpage and setgreasemonkey.fileIsGreaseabletotrue.
Install Google Chrome extension
To have this extension apply to file:// URLs, configure it from the chrome://extensions/ page.