= Issue 1747300 == Short Description Enable customization of folding presentation == Long Description It will be very nice if the way folding is drawn in the gutter is customizable. One customization can be made by the user, e.g. selecting the icons to show for start/end of fold, another could be by enabling a folding-mode provider (fold handler, like SideKick) select the icons for each fold. == Feature Description % BASE jEdit には,プログラムのソースコードやその他の入れ子構造を持つテキストファイルに対して,要素ごとの表示/非表示をユーザが選択的に切り替えることのできる機能 (以下,折りたたみ) があります. この機能はデフォルトでは無効ですが,全般的なオプション(General Options ダイアログ)もしくはバッファごとのオプション(Buffers Options ダイアログ)から以下のいずれかの折りたたみモードを有効にすることができます. * 明示的 (explicit) : {{{ を含む行から }}} を含む行の間をセクションとして認識する * 暗黙的 (implicit) : タブ文字によるインデント構造をセクションとして認識する * 無効 (none) : 折りたたみを行わない 図は Java ソースコードを表示している jEdit の実行例です. 24~68行目のインポート文が明示的なセクションとして記述されており,行頭に表示された三角形のアイコンをクリックすると折りたたみを展開して内容を表示することができます. ![折りたたみ表示の例](task1-1747300.png) % CORE この機能に対して,折りたたみの開始行と終了行の各行頭に表示されるアイコンをユーザが変更可能にする機能を追加しました. デフォルトの三角形のアイコンのほかに,円形,四角形の2種類の表示方法を選ぶことができるようになりました. % TASK この機能追加によって追加あるいは修正されたすべてのメソッドを特定してください. クラス宣言そのものに対する修正,インタフェースにおけるメソッド宣言(本体を持たないもの), クラスのstatic 初期化子は含みません. == Gold Set org.gjt.sp.jedit.EditPane.propertiesChanged() org.gjt.sp.jedit.options.GutterOptionPane._init() org.gjt.sp.jedit.options.GutterOptionPane._save() org.gjt.sp.jedit.options.GutterOptionPane.addFoldStyleChooser() org.gjt.sp.jedit.textarea.CircleFoldPainter.paintFoldShape(Graphics2D,int,int) org.gjt.sp.jedit.textarea.Gutter.Gutter(TextArea) org.gjt.sp.jedit.textarea.Gutter.paintLine(Graphics2D,int,int) org.gjt.sp.jedit.textarea.Gutter.setFoldPainter(FoldPainter) org.gjt.sp.jedit.textarea.JEditTextArea.getFoldPainter() org.gjt.sp.jedit.textarea.ShapedFoldPainter.paintFoldEnd(Gutter,Graphics2D,int,int,int,int,JEditBuffer) org.gjt.sp.jedit.textarea.ShapedFoldPainter.paintFoldMiddle(Gutter,Graphics2D,int,int,int,int,JEditBuffer) org.gjt.sp.jedit.textarea.ShapedFoldPainter.paintFoldStart(Gutter,Graphics2D,int,int,boolean,int,int,JEditBuffer) org.gjt.sp.jedit.textarea.SquareFoldPainter.paintFoldShape(Graphics2D,int,int)