[orca] Restore the speech server before cleaning up unused servers in Preferences
- From: Joanmarie Diggs <joanied src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [orca] Restore the speech server before cleaning up unused servers in Preferences
- Date: Mon, 18 Nov 2013 16:37:57 +0000 (UTC)
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]