addOriginallyFoldedChild method

void addOriginallyFoldedChild(FoldRange child)

Adds a child fold range that was originally folded.

Used internally to track nested fold states.

Implementation

void addOriginallyFoldedChild(FoldRange child) {
  if (!originallyFoldedChildren.contains(child)) {
    originallyFoldedChildren.add(child);
  }
}