You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
As the title says, when you add (at least) a new edge to an existing Graph (hence to an existing GraphView), it produces the result shown in the picture. A minimal code to reproduce this (it only needs to be added at the end of the provided Main class) is:
scene.setOnKeyPressed(e -> {
List<Vertex<String>> vertices = new ArrayList<>(g.vertices());
g.insertEdge(vertices.get(0), vertices.get(1), String.format("%02d", new Random().nextInt(100)));
graphView.updateAndWait();
});
The text was updated successfully, but these errors were encountered:
As the title says, when you add (at least) a new edge to an existing
Graph
(hence to an existingGraphView
), it produces the result shown in the picture. A minimal code to reproduce this (it only needs to be added at the end of the providedMain
class) is:The text was updated successfully, but these errors were encountered: