src/vs/editor/common/viewEvents.ts/ViewConfigurationChangedEvent/hasChanged
class ViewConfigurationChangedEvent:	public hasChanged(id: EditorOption): boolean {
		return this._source.hasChanged(id);
	}