JavaDoc Filter

これは？

javadocのクラス一覧をフィルタリングする ブックマークレットです。
フィルタリングにより目的のクラスへ素早くアクセスが可能です。

インストール

次のコードをブックマークとして登録します。

javascript:(function(){var b=function(b){var a=document.createElement('script');a.setAttribute('language','javascript');a.setAttribute('charset','UTF-8');a.setAttribute('src',b);document.body.appendChild(a)};b('https://junk-box.github.io/javadoc-filter/js/javadoc-filter-core.js')})();

使用方法

javadocのトップページを開いた状態で、ブックマークをクリックするとJavaDoc Filterが起動します。
フィルター入力エリアが表示されたら、クラス名を入力します。

ライセンス

JavaDoc FilterはMIT Licenseで公開しています。