[orca] Restore the speech server before cleaning up unused servers in Preferences



commit bb6118d4e514e093ae0548b45058c3f295a6b302
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 0e4faa8..fb12d01 100644
--- a/src/orca/orca_gui_prefs.py
+++ b/src/orca/orca_gui_prefs.py
@@ -3025,6 +3025,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]