jEditでどの程度アウトライン機能が使えるのか試してみたかったものの、Emacs の outline-mode 形式に対応したパーサーが見当たらなかったので、適当にプラグインを作成してみました。 jEditを良く知らない人間が作ったプラグインだけど無いよりもマシだと思…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。