Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface FoldingRangeProvider

The folding range provider interface defines the contract between extensions and Folding in the editor.

Hierarchy

  • FoldingRangeProvider

Index

Properties

onDidChangeFoldingRanges?: Event<void>

An optional event to signal that the folding ranges from this provider have changed.

Methods