| 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);
}
}
