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