/jEdit/tags/jedit-4-0-pre3/org/gjt/sp/jedit/tips/tip29.html
HTML | 13 lines | 11 code | 2 blank | 0 comment | 0 complexity | 2d24c1e62158bbfdcd0007cd5b90931f MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
- <html><body>jEdit supports "folding"; a "fold" is a section of a
- buffer that can be hidden and shown by clicking in the gutter or
- using the commands in the <b>Folding</b> menu.
- Folds can be nested.<p>
- Two folding modes are supported; "indent" and "explicit". In the
- former, folds are created based on the leading indent of a line;
- in the latter, the buffer is parsed for the strings
- <code>{{{</code> and <code>}}}</code>.<p>
- Folding can be enabled in the <b>Buffer Options</b> and
- <b>Global Options</b> dialog boxes.
- </body></html>