/// <summary>
/// Loads the history data
/// </summary>
/// <param name="level">The name of the level</param>
/// <returns>Whether or not the history could have been loaded.</returns>
public static bool Load(string level)
{
if (File.Exists("levels/" + level + ".history"))
{
FileStream fs = new FileStream("levels/" + level + ".history", FileMode.Open, FileAccess.Read);
// GZipStream gs = new GZipStream(fs, CompressionMode.Decompress);
BinaryReader br = new BinaryReader(fs);
history[level] = LevelUndo.Read(br);
fs.Close();
return(true);
}
return(false);
}
