Javadocをインクリメンタル検索するGreamsemonkeyスクリプトの新しいバージョンをリリースしました。 初期化速度の改善。10倍くらい速くなりました。 Enterキーでクラス/アンカーを開けるように。 「@キー+数字」でメニューを選んだ時に、メインのフレームで…