protected HandleEdgeClose ( object closing_edge, System args ) : void | ||
closing_edge | object | |
args | System | |
return | void |
protected void HandleEdgeClose(object closing_edge, System.EventArgs args) {
lock( _sync ) {
Edge e = (Edge)closing_edge;
_edges.Remove(e);
}
}