0132不夜城@勝〓橋 ◆72pu09bxDc 垢版 | 大砲2013/03/16(土) 21:16:34.26ID:Q0IimYkG0 Jedit 2.36を使ってる。UNIXで言うgrepができるので便利。 miは最新版を落としてみたけど、機能が肥大化し過ぎていてオレの環境では重過ぎる。 難点は「マルチアイル検索」で40GBのHDDを検索するとJeditが落ちること。 〜OS 8.xまで開発されていた「ファイル検索犬ポチ」みたいなアプリはないものか。