src/vs/editor/browser/controller/textAreaInput.ts/TextAreaWrapper/setIgnoreSelectionChangeTime
class TextAreaWrapper:	public setIgnoreSelectionChangeTime(reason: string): void {
		this._ignoreSelectionChangeTime = Date.now();
	}