PageRenderTime 12ms CodeModel.GetById 10ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/jEdit/tags/jedit-4-5-pre1/doc/tips/tip29.html

#
HTML | 13 lines | 11 code | 2 blank | 0 comment | 0 complexity | 2d24c1e62158bbfdcd0007cd5b90931f MD5 | raw file
 1<html><body>jEdit supports "folding"; a "fold" is a section of a
 2buffer that can be hidden and shown by clicking in the gutter or
 3using the commands in the <b>Folding</b> menu.
 4Folds can be nested.<p>
 5
 6Two folding modes are supported; "indent" and "explicit". In the
 7former, folds are created based on the leading indent of a line;
 8in the latter, the buffer is parsed for the strings
 9<code>{{{</code> and <code>}}}</code>.<p>
10
11Folding can be enabled in the <b>Buffer Options</b> and
12<b>Global Options</b> dialog boxes.
13</body></html>