jEdit - Programmer's Text Editor
at SOFTWARE
142:名無しさん＠お腹いっぱい。
08/11/19 03:11:32 DShvgqnD0
>>141
Outline というプラグインがあるけど、どうやらこれは折りたたみレベルに従ったツリーを
表示するだけのものらしい。
インデントで折りたたむようにしてれば少しは使えるかもしれないけど、「よくある〜」とは
全然違う機能になっちゃうね。
ConfigurableFoldHandler っていうプラグインで折りたたみマークがカスタマイズできる
みたいだけど、やっぱり「よくある〜」の状態にはもっていけそうもない。
専用の SideKick パーサか、新しいプラグインを作らないとダメなのかも。
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
5394日前に更新/91 KB
担当:undef