foldState top-level property
The state field that stores the folded ranges (as a decoration set).
Can be passed to EditorState.toJSON and EditorState.fromJSON to
serialize the fold state.
Implementation
late final StateField<RangeSet<Decoration>> foldState;