public void DeregisterMutableElement(Element element) { if (!MutableElements.Contains(element)) { return; } MutableElements.Remove(element); }
public void RegisterMutableElement(Element element) { if (MutableElements.Contains(element)) { return; } MutableElements.Add(element); }