public static string MakeUniqueFileName(string file, System.Collections.Generic.IEnumerable<View3D> views)
{
string fn;
for (int i = 0; ; ++i)
{
fn = file + i.ToString();
System.Collections.Generic.IEnumerable<View3D> m_nviews = from elem in views
let type = elem as View3D
where type.Name == fn
select type;
if (m_nviews.Count() == 0)
return fn;
}
}