void SaveMap(string file) { File.WriteAllText(file, JsonMap.Save(map)); AppendLine("Map saved."); }
void LoadMap(string file) { map = JsonMap.Load(File.ReadAllText(file)); selection = Rect.Empty; AppendLine("Map loaded."); }