[orca/new-settings] Fix the issue with the missing 'profile' key.
- From: Juanje Ojeda Croissier <jojeda src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [orca/new-settings] Fix the issue with the missing 'profile' key.
- Date: Mon, 1 Nov 2010 17:40:03 +0000 (UTC)
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]