public void ClosePinned(Type type, PinnedElementView elem) { pinnedElements.Remove(type); Remove(elem); graph.ClosePinned(type); }
public void ClosePinned <T>(PinnedElementView view) where T : PinnedElementView { ClosePinned(typeof(T), view); }
public void ClosePinned(Type type, PinnedElementView elem) { pinnedElements.Remove(type); Remove(elem); graph.ClosePinned(type); }
public void ClosePinned <T>(PinnedElementView view) where T : PinnedElementView { ClosePinned(typeof(T), view); }