[orca/gnome-3-16] Set the profile when reloading settings



commit 40fa425fe9d369075a94d4bb1d742328ca35165d
Author: Joanmarie Diggs <jdiggs igalia com>
Date:   Sat Jun 27 15:13:24 2015 -0400

    Set the profile when reloading settings

 src/orca/orca.py |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/orca/orca.py b/src/orca/orca.py
index 1df6780..b86ea3e 100644
--- a/src/orca/orca.py
+++ b/src/orca/orca.py
@@ -429,6 +429,7 @@ def loadUserSettings(script=None, inputEvent=None, skipReloadMessage=False):
         _profile = _settingsManager.getSetting('activeProfile')[1]
         try:
             _userSettings = _settingsManager.getGeneralSettings(_profile)
+            _settingsManager.setProfile(_profile)
             reloaded = True
         except ImportError:
             debug.printException(debug.LEVEL_FINEST)


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