[orca/new-settings] Minor fix for _setProfileGeneral() method at settings_manager
- From: Juanje Ojeda Croissier <jojeda src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [orca/new-settings] Minor fix for _setProfileGeneral() method at settings_manager
- Date: Tue, 26 Oct 2010 15:20:30 +0000 (UTC)
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]