/// <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(); }