/// <summary>
/// Event called on map deletion from map manager.
/// </summary>
private void OnDeleteMap(IOriginalMap map)
{
var mapset = SelectedMapset.Value;
if (mapset == null)
{
return;
}
// Trigger change on the maps list.
MapList.Trigger();
}
