[orca/gnome-3-10] 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/gnome-3-10] Restore the speech server before cleaning up unused servers in Preferences
- Date: Mon, 18 Nov 2013 16:37:52 +0000 (UTC)
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]