Greasemonkey: Javadocをインクリメンタル検索 0.4 - こせきの日記Javadocをインクリメンタル検索するGreamsemonkeyスクリプトの新しいバージョンをリリースしました。 初期化速度の改善。10倍くらい速くなりました。 Enterキーでクラス/アンカーを開けるように。 「@キー+数字」でメニューを選んだ時に、メインのフレームで開けなくなっていたのを修正。 スクリプト冒頭のAUTO_OPENをtrueに設定すると、候補が1つに絞られた時に、勝手にクラスを開くようになります。デフォルトはfalse。 キーアップで毎回検索するのをやめました。インターバルで検索を開始するように修正。 初期化処理が速くなりました。java5のAPIドキュメント(3300クラスくらい)でもそこそこ動いています。以前は、「スクリプトの実行を中止するかこの馬鹿が」ってダイアログが出たりしてました。 高速化のため、検索候補1つ1つのDOMを操作するのをやめて、innerHTML
