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; }