Synopsis Editors may hide (fold) certain parts of a source text based on foldable
annotations.
Syntax -
syntax Name = @foldable Symbols;
-
a@foldable = true
Description There exist two ways of manipulating the folding behavior:
- By statically tagging a SyntaxDefinition with
@foldable
, any source text that is covered by a ParseTree generated from this definition will be foldable.
- By dynamically annotating a ParseTree with the
foldable
annotation (set to true
) a similar effect is obtained.