src/vs/editor/contrib/folding/browser/intializingRangeProvider.ts/InitializingRangeProvider/dispose
class InitializingRangeProvider:	dispose(): void {
		if (this.decorationIds) {
			this.editorModel.deltaDecorations(this.decorationIds, []);
			this.decorationIds = undefined;
		}
		if (typeof this.timeout === 'number') {
			clearTimeout(this.timeout);
			this.timeout = undefined;
		}
	}