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