/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 

    

  1. <html><body>jEdit supports "folding"; a "fold" is a section of a
    2. 

  2. buffer that can be hidden and shown by clicking in the gutter or
    3. 

  3. using the commands in the <b>Folding</b> menu.
    4. 

  4. Folds can be nested.<p>
    5. 

  5. 

  6. Two folding modes are supported; "indent" and "explicit". In the
    7. 

  7. former, folds are created based on the leading indent of a line;
    8. 

  8. in the latter, the buffer is parsed for the strings
    9. 

  9. <code>{{{</code> and <code>}}}</code>.<p>
    10. 

  10. 

  11. Folding can be enabled in the <b>Buffer Options</b> and
    12. 

  12. <b>Global Options</b> dialog boxes.
    13. 

  13. </body></html>
    14.