public static void SaveGame()
{
string save = Saver.Save(GameData.Instance); // The rest of the code has to ensure that
save += "\n" + Saver.Save(RNG.Seed);
FileEncoder.Write(save);
}
void SaveSettings()
{
FileEncoder.Write(Saver.Save(this), "video_settings".ToPath());
}
