Jedit X Rev.1のまま使っていたけど、どうも動作が遅い時があって(原因不明)、Rev.2にするよりも純正テキストエディットに切り替えようと考えた。Jeditを使っている理由は主にダイヤモンドカーソル。で、純正アプリケーション「テキストエディット」に移行を…