/// <summary> /// Menu Command: Map Properties /// </summary> public static void ViewMapProperties() { int originalWidth = MapEditor.Instance.CurrentMap.MapWidth; int originalHeight = MapEditor.Instance.CurrentMap.MapHeight; MapPropertiesForm form = new MapPropertiesForm(); form.Map = MapEditor.Instance.CurrentMap; form.ShowDialog(); // check to see if the Map was resized. if (MapEditor.Instance.CurrentMap.MapWidth != originalWidth || MapEditor.Instance.CurrentMap.MapHeight != originalHeight) { MapEditor.Instance.CurrentMap = MapFactory.CopyWithNewSize(form.Map, form.Map.MapWidth, form.Map.MapHeight); } }