[orca] Fix for bug 637667 - Speech Settings in a profile are not always loaded

[Joanmarie Diggs <joanied src gnome org>]

commit 94d88190c6e66ee78f76f401510f3c19166e1330
Author: Joanmarie Diggs <joanmarie diggs gmail com>
Date:   Mon Dec 20 17:41:57 2010 -0500

    Fix for bug 637667 - Speech Settings in a profile are not always loaded

 src/orca/orca_gui_prefs.py |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/orca/orca_gui_prefs.py b/src/orca/orca_gui_prefs.py
index 6cd55bd..3998a36 100644
--- a/src/orca/orca_gui_prefs.py
+++ b/src/orca/orca_gui_prefs.py
@@ -4547,6 +4547,7 @@ class OrcaSetupGUI(orca_gtkbuilder.GtkBuilderWrapper):
 
             self.prefsDict['profile'] = profile
             self.prefsDict['activeProfile'] = profile
+            self.saveBasicSettings()
             self.writeUserPreferences()
 
         availableProfiles = [p[1] for p in self.__getAvailableProfiles()]