onDidChangeFoldingRanges property

Event<void>? get onDidChangeFoldingRanges

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

Implementation

_i3.Event<void>? get onDidChangeFoldingRanges => _i5.getProperty(
      this,
      'onDidChangeFoldingRanges',
    );

set onDidChangeFoldingRanges (Event<void>? value)

Implementation

set onDidChangeFoldingRanges(_i3.Event<void>? value) {
  _i5.setProperty(
    this,
    'onDidChangeFoldingRanges',
    value ?? _i6.undefined,
  );
}