テキストエディタはなにをと聞かれたら、20年以上使っている Jeditの最新バージョン Jedit Ω Proだが、これはどうしても普段使いで必要な機能である「半角／全角」の置き換え機能が便利だからという理由、こういった使い慣れと言うものは捨て難い。 自分はち…