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