/// <summary>
/// Pinns all selected vertices
/// </summary>
public void PinnSelected()
{
List <Vertex> l = SelectedVertices.ToList();
foreach (Vertex v in l)
{
Core.Pin(v);
}
SelectedAndPinnedVertices = SelectedVertices.Count;
}
