[orca/gnome-3-10] Restore the speech server before cleaning up unused servers in Preferences



commit 60bd442145a9eaa587032c0686a5107ce00a2814
Author: Joanmarie Diggs <jdiggs igalia com>
Date:   Mon Nov 18 11:36:24 2013 -0500

    Restore the speech server before cleaning up unused servers in Preferences

 src/orca/orca_gui_prefs.py |    8 ++++++++
 1 files changed, 8 insertions(+), 0 deletions(-)
---
diff --git a/src/orca/orca_gui_prefs.py b/src/orca/orca_gui_prefs.py
index 958f71d..1b70965 100644
--- a/src/orca/orca_gui_prefs.py
+++ b/src/orca/orca_gui_prefs.py
@@ -3015,6 +3015,14 @@ class OrcaSetupGUI(orca_gtkbuilder.GtkBuilderWrapper):
         - widget: the component that generated the signal.
         """
 
+        factory = _settingsManager.getSetting('speechServerFactory')
+        if factory:
+            self._setSpeechSystemsChoice(factory)
+
+        server = _settingsManager.getSetting('speechServerInfo')
+        if server:
+            self._setSpeechServersChoice(server)
+
         self._cleanupSpeechServers()
         self.restoreSettings()
 


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]