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();
}
}
public void OnPaint(IRenderEventArgs e)
{
BackendRenderer.OnPaint(e);
}
