6869707172737475767778
if (edgeObject != null) deleteProvider.deleteEdge(edgeObject); } } graphBuilder.updateGraph(); } } protected void update(final AnActionEvent e, final Graph2D graph) { final DeleteProvider deleteProvider = getDeleteProvider(e);
6364656667686970717273
if (builder != null) { final GraphPresentationModel graphPresentationModel = builder.getGraphPresentationModel(); if (graphPresentationModel instanceof BasicGraphPresentationModel) { ((BasicGraphPresentationModel)graphPresentationModel).setShowEdgeLabels(state); builder.updateGraph(); } } } protected String getText(final @NotNull Graph2D graph) {