Adds search capabilities to Javadoc pages.
This extension adds search capabilities to Javadoc pages: Whenever you open a Javadoc page in your browser (no matter the origin), it will show a search box in the top right corner of the view.
This search box supports two modes:
If you enter a fully qualified type name, the extension will try to construct the URL of the corresponding Javadoc page from it and navigate there.
For any other search term, the extension will load the appropriate index page in the background and list all entries starting with the letters you entered in a drop-down.
Aside from the search box, the page will continue to work as usual, i.e. you can still use the packages- and classes frame to navigate.