internal static void saveSettings(OptionsCont set, string filePath)
{
StringBuilder sb = new StringBuilder();
StringWriter sw = new StringWriter(sb);
using (JsonWriter writer = new JsonTextWriter(sw))
{
writer.Formatting = Formatting.Indented;
writer.WriteStartObject();
writer.WritePropertyName("chosenSize");
writer.WriteValue(set.chosenSize);
writer.WritePropertyName("spaceBetweenStars");
writer.WriteValue(set.spaceBetweenStars);
writer.WritePropertyName("maxTriesTimeout");
writer.WriteValue(set.maxTriesTimeout);
}
File.WriteAllText(@filePath, sb.ToString());
}
internal OptionsCont(OptionsCont c)
{
this.chosenSize = c.chosenSize;
this.spaceBetweenStars = c.spaceBetweenStars;
this.maxTriesTimeout = c.maxTriesTimeout;
}
