void control_ElementSelectionChanged(object sender, ElementNodesEventArgs e) { if (_currentPatchingControl != null) { _currentPatchingControl.UpdateElementSelection(e.ElementNodes); } }