final MapController mapController = modeController.getMapController();
mapController.setSaved(node.getMap(), false);
modeController.getMapController().delayedNodeRefresh(node, NodeStyleController.NODE_NUMBERING, enableNodeNumbering, oldValue);
}
};
modeController.execute(actor, node.getMap());
}
public void setNodeFormat(final NodeModel node, final String format) {
final ModeController modeController = Controller.getCurrentModeController();
final String oldFormat = NodeStyleModel.getNodeFormat(node);