[orca/new-settings] Added profile key to userCustomizableSettings at orca.settings

[Juanje Ojeda Croissier <jojeda src gnome org>]

commit 210d3cfbce14234396efedc4c2354b209ed02e3f
Author: Juanje Ojeda <jojeda emergya es>
Date:   Tue Oct 26 22:20:42 2010 +0200

    Added profile key to userCustomizableSettings at orca.settings

 src/orca/settings.py         |    2 ++
 src/orca/settings_manager.py |    3 +--
 2 files changed, 3 insertions(+), 2 deletions(-)
---
diff --git a/src/orca/settings.py b/src/orca/settings.py
index a96380f..ee8cb96 100644
--- a/src/orca/settings.py
+++ b/src/orca/settings.py
@@ -173,6 +173,7 @@ userCustomizableSettings = [
     "enabledBrailledTextAttributes",
     "textAttributesBrailleIndicator",
     "enableProgressBarUpdates",
+    "profile",
     "progressBarUpdateInterval",
     "progressBarVerbosity",
     "enableContractedBraille",
@@ -237,6 +238,7 @@ splashModule = "orca_gui_splash"
 #
 startingProfile = ['Default', 'default']
 activeProfile = ['Default', 'default']
+profile = 'default'
 
 # First start?
 #
diff --git a/src/orca/settings_manager.py b/src/orca/settings_manager.py
index 0a964b9..735923e 100644
--- a/src/orca/settings_manager.py
+++ b/src/orca/settings_manager.py
@@ -256,8 +256,7 @@ class SettingsManager():
         as the profile's."""
         self.profileGeneral = {}
         for key, value in general.items():
-            if key != 'profile' and \
-               value != self.defaultGeneralValues[key]:
+            if value != self.defaultGeneralValues[key]:
                 self.profileGeneral[key] = value
 
     def _setProfilePronunciations(self, pronunciations):