jeditにoutlineプラグインがあるそうな

http://www.jedit.org/
http://plugins.jedit.org/plugins/?Outline
まだアップグレードせずに、keynoteのアウトラインを使っているのだけど、やっぱ快適というにはほど遠いので試す。
http://plugins.jedit.org/install.php によると、プラグインはjarを$JEDIT_HOME/jarsに置けばいいらしい。
と、そんなめんどくさいことはしないでも、Pluginsメニューから、Managerを選んでチェックでインストールできるようだ。
う、使い方がわからん...