[orca/new-settings] Added extra check for the profile names. If there is not preferences saved we need to check that the

[Juanje Ojeda Croissier <jojeda src gnome org>]

commit cdceb8b50b2c8cbe582e9c3cea031f9dff1cf9f3
Author: Juanje Ojeda <jojeda emergya es>
Date:   Fri Sep 10 12:23:18 2010 +0200

    Added extra check for the profile names. If there is not preferences saved we need to check that the new profile name is not 'default'

 src/orca/orca_gui_prefs.py |    6 ++++--
 1 files changed, 4 insertions(+), 2 deletions(-)
---
diff --git a/src/orca/orca_gui_prefs.py b/src/orca/orca_gui_prefs.py
index 795ccde..760f73b 100644
--- a/src/orca/orca_gui_prefs.py
+++ b/src/orca/orca_gui_prefs.py
@@ -4430,8 +4430,10 @@ class OrcaSetupGUI(orca_gtkbuilder.GtkBuilderWrapper):
             self.writeUserPreferences()
 
 
-        if isinstance(profileToSave, str) and profileToSave != '' \
-                and not profileToSave in self.__getAvailableProfiles():
+        if isinstance(profileToSave, str) \
+                and profileToSave != '' \
+                and not profileToSave in self.__getAvailableProfiles() \
+                and profileToSave != 'default':
             saveActiveProfile()
         else:
             if profileToSave != None: