Folding Preferences
The CZT > Editor > Folding preference page allows to enable/disable the folding support in the CZT editors. It also allows to specify which kinds of element should be folded in the editor.
Here is the available settings in this page:
- Fold narrative sections/paragraphs
- Default: On
- Fold directive paragraphs
- Default: On
- Fold general paragraphs (ZED in LaTeX mode)
- Default: On
- Fold section header paragraphs
- Default: On
- Fold axiomatic description paragraphs
- Default: On
- Fold schema description paragraphs
- Default: On
- Fold generic axiomatic description paragraphs
- Default: On
- Fold generic schema definition paragraphs
- Default: On