public void CommandRename(object param)
{
if (!TilePoolExists(param))
{
return;
}
Guid uid = (Guid)param;
TilePool tilePool = Editor.Project.TilePoolManager.Pools[uid];
using (NameChangeForm form = new NameChangeForm(tilePool.Name)) {
foreach (TilePool pool in Editor.Project.TilePoolManager.Pools)
{
if (pool.Name != tilePool.Name)
{
form.ReservedNames.Add(pool.Name);
}
}
if (form.ShowDialog() == DialogResult.OK)
{
tilePool.TrySetName(form.Name);
}
}
}