src/vs/editor/browser/config/elementSizeObserver.ts/ElementSizeObserver/stopObserving
class ElementSizeObserver:	public stopObserving(): void {
		if (this._resizeObserver) {
			this._resizeObserver.disconnect();
			this._resizeObserver = null;
		}
	}