Jedit

このページの編集などに作成しているエディタ、Jeditをアップグレードしてようやくこのページが編集可能になったことは既にふれたが、やはりむちゃくちゃ重い。代替案として、OSX標準のテキストエディットでhtmlファイルを編集する方法を再模索。初期設定でhtmlのリッチテキストを無視するようにしたところ、安直に編集可能になった。やはりこちらの方が軽いな(それでも少し重い)。