public ChangeTargetIdTool(HasTargetId elementWithTargetId, string newId, bool updateTree, bool reloadPanel) { this.elementWithTargetId = elementWithTargetId; this.id = newId; this.oldId = elementWithTargetId.getTargetId(); this.updateTree = updateTree; this.reloadPanel = reloadPanel; this.controller = Controller.getInstance(); }
public static bool IsRemoved(this HasTargetId element) { return(Game.Instance.GameState.GetRemovedElements().Contains(element.getTargetId())); }
/** * Default constructor. Does not update neither tree nor panel * * @param elementWithTargetId * @param newId */ public ChangeTargetIdTool(HasTargetId elementWithTargetId, string newId) : this(elementWithTargetId, newId, false, true) { }