diff -r 76aaf45a01c7 -r cea5477b4d72 Utilities/Config.cs
--- a/Utilities/Config.cs	Tue May 25 18:57:28 2010 +0000
+++ b/Utilities/Config.cs	Tue May 25 22:33:03 2010 +0000
@@ -60,7 +60,7 @@
         System.Configuration.ConfigurationUserLevel.None);
     }
 
-    ~Config() {
+    private void SaveConfig() {
       string tempName = Path.ChangeExtension(fileName, ".tmp");
 
       if (File.Exists(tempName))
@@ -73,6 +73,10 @@
       } catch (System.Configuration.ConfigurationErrorsException) { }
     }
 
+    public static void Save() {
+      instance.SaveConfig();
+    }
+
     public static Config Settings {
       get {
         return instance;