/**
* Removes the edge corresponding to the specified JGraph edge from the JGraphT graph. If the
* specified edge is not contained in {@link #cellToEdge}, it is silently ignored.
*
* <p>This method is to be called only for edges that have already been removed from the JGraph
* graph.
*
* @param jEdge the JGraph edge that has been removed.
*/
void handleJGraphRemovedEdge(org.jgraph.graph.Edge jEdge) {
if (cellToEdge.containsKey(jEdge)) {
E jtEdge = cellToEdge.get(jEdge);
jtGraph.removeEdge(jtEdge);
cellToEdge.remove(jEdge);
edgeToCell.remove(jtEdge);
}
}
