src/vs/editor/browser/controller/textAreaInput.ts/TextAreaWrapper/getIgnoreSelectionChangeTime
class TextAreaWrapper:	public getIgnoreSelectionChangeTime(): number {
		return this._ignoreSelectionChangeTime;
	}