src/vs/editor/browser/viewParts/lines/viewLines.ts/ViewLines/onThemeChanged
class ViewLines:	public override onThemeChanged(e: viewEvents.ViewThemeChangedEvent): boolean {
		return this._onOptionsMaybeChanged();
	}