From 330b4c211569adbb09f9050a7503193118fdd6b8 Mon Sep 17 00:00:00 2001
From: Marcos Pinto <markybob@dipconsultants.com>
Date: Fri, 2 Nov 2007 21:25:14 +0000
Subject: [PATCH] no need to save config here since interface does it before
 passing it over

---
 src/core.py | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/core.py b/src/core.py
index 7b718c162..7b0f97bbc 100644
--- a/src/core.py
+++ b/src/core.py
@@ -279,10 +279,6 @@ class Manager:
             self.state = persistent_state()
 
     def quit(self):
-        # Pickle the prefs
-        print "Saving prefs..."
-        self.config.save()
-
         # Pickle the state
         self.pickle_state()