src/vs/workbench/api/browser/mainThreadCodeInsets.ts/MainThreadEditorInsets/$disposeEditorInset
class MainThreadEditorInsets:	$disposeEditorInset(handle: number): void {
		const inset = this.getInset(handle);
		this._insets.delete(handle);
		inset.dispose();
	}