}
public void setNodeNumbering(final NodeModel node, final Boolean enableNodeNumbering) {
final ModeController modeController = Controller.getCurrentModeController();
final Boolean oldValue = NodeStyleModel.getNodeNumbering(node);
final IActor actor = new IActor() {
public void act() {
NodeStyleModel.setNodeNumbering(node, enableNodeNumbering);
final MapController mapController = modeController.getMapController();
mapController.setSaved(node.getMap(), false);
mapController.delayedNodeRefresh(node, NodeStyleController.NODE_NUMBERING, oldValue, enableNodeNumbering);