public virtual void Fold(Action fold) { var wasFiltered = Folder.IsFiltered; var act = !(Folder.Scene.Focused is TEdge); // currently folding on edges is not supported if (act) { fold(); if (wasFiltered != Folder.IsFiltered) { BackendRenderer.Render(); } } }
public virtual void Hide() { var wasFiltered = Folder.IsFiltered; if (MoveResizeRenderer != null) { MoveResizeRenderer.Shape = null; MoveResizeRenderer.ShowGrips = false; } Folder.Hide(); if (wasFiltered != Folder.IsFiltered) { BackendRenderer.Render(); } }