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);
}
public String getDescription() {
return "setNodeNumbering";
}