1
2
3
4
5
6
7
8
9
10
11
12
13
|
<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>
|
