[orca/new-settings] Fix the issue with the missing 'profile' key.



commit 70b2bfca610d7c1174fc558dc3a7275a91655689
Author: Juanje Ojeda <jojeda emergya es>
Date:   Mon Nov 1 18:28:47 2010 +0100

    Fix the issue with the missing 'profile' key.

 src/orca/settings_manager.py |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/src/orca/settings_manager.py b/src/orca/settings_manager.py
index b33c670..d34b885 100644
--- a/src/orca/settings_manager.py
+++ b/src/orca/settings_manager.py
@@ -292,9 +292,12 @@ class SettingsManager():
         """Set the changed general settings from the defaults' ones
         as the profile's."""
         self.profileGeneral = {}
+
         for key, value in general.items():
             if key in ['pronunciations', 'keybindings']:
                 continue
+            elif key == 'profile':
+                self.profileGeneral[key] = value
             elif value != self.defaultGeneralValues[key]:
                 self.profileGeneral[key] = value
             elif self.general.get(key) != value:



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