[orca/new-settings] Minor fix for _setProfileGeneral() method at settings_manager



commit 0ca5981074e7fb414ad25e8a3b3d246256010156
Author: Juanje Ojeda <jojeda emergya es>
Date:   Tue Oct 26 17:19:43 2010 +0200

    Minor fix for _setProfileGeneral() method at settings_manager

 src/orca/settings_manager.py |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/src/orca/settings_manager.py b/src/orca/settings_manager.py
index 1450ab0..cbe4996 100644
--- a/src/orca/settings_manager.py
+++ b/src/orca/settings_manager.py
@@ -290,7 +290,8 @@ class SettingsManager():
         as the profile's."""
         self.profileGeneral = {}
         for key, value in self.general.items():
-            if value != self.defaultGeneralValues[key]:
+            if key != 'profile' and \
+               value != self.defaultGeneralValues[key]:
                 self.profileGeneral[key] = value
 
     def _setProfilePronunciations(self):



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]