Ejemplo n.º 1
0
 public static void SaveLocalSettings(string path)
 {
     Serializable.GeminiProject saveData = new Serializable.GeminiProject();
     saveData.DebugMode = DebugMode;
     Serializable.Scripts s = new Serializable.Scripts();
     s.ActiveScript             = ActiveScript;
     s.OpenSections             = OpenScripts.ToArray();
     saveData.Scripts           = s;
     saveData.RuntimeExecutable = RuntimeExecutable;
     saveData.RuntimeArguments  = RuntimeArguments;
     if (File.Exists(path))
     {
         File.Delete(path);
     }
     using (Stream stream = File.OpenWrite(path))
         new System.Xml.Serialization.XmlSerializer(typeof(Serializable.GeminiProject)).Serialize(stream, saveData);
 }
Ejemplo n.º 2
0
 public static void SaveLocalSettings(string path)
 {
     Serializable.GeminiProject saveData = new Serializable.GeminiProject();
       saveData.DebugMode = DebugMode;
       Serializable.Scripts s = new Serializable.Scripts();
       s.ActiveScript = ActiveScript;
       s.OpenSections = OpenScripts.ToArray();
       saveData.Scripts = s;
       saveData.RuntimeExecutable = RuntimeExecutable;
       saveData.RuntimeArguments = RuntimeArguments;
       if (File.Exists(path))
     File.Delete(path);
       using (Stream stream = File.OpenWrite(path))
     new System.Xml.Serialization.XmlSerializer(typeof(Serializable.GeminiProject)).Serialize(stream, saveData);
 }