src/vs/editor/browser/editorDom.ts/GlobalEditorPointerMoveMonitor/stopMonitoring
class GlobalEditorPointerMoveMonitor:	public stopMonitoring(): void {
		this._globalPointerMoveMonitor.stopMonitoring(true);
	}