src/vs/workbench/api/browser/mainThreadEditor.ts/MainThreadTextEditor/_setProperties
class MainThreadTextEditor:	private _setProperties(newProperties: MainThreadTextEditorProperties, selectionChangeSource: string | null): void {
		const delta = newProperties.generateDelta(this._properties, selectionChangeSource);
		this._properties = newProperties;
		if (delta) {
			this._onPropertiesChanged.fire(delta);
		}
	}