From 825f25385840eeaaa2a6200e3f25fcf0dbde9520 Mon Sep 17 00:00:00 2001 From: chrys Date: Thu, 6 Sep 2018 13:46:48 +0200 Subject: [PATCH] Update settingsManager.py --- src/fenrirscreenreader/core/settingsManager.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/fenrirscreenreader/core/settingsManager.py b/src/fenrirscreenreader/core/settingsManager.py index 87e6c9e9..d532d3c8 100644 --- a/src/fenrirscreenreader/core/settingsManager.py +++ b/src/fenrirscreenreader/core/settingsManager.py @@ -253,7 +253,10 @@ class settingsManager(): environment['runtime']['settingsManager'].loadSoundIcons(self.getSetting('sound','theme')) environment['runtime']['punctuationManager'] = punctuationManager.punctuationManager() - environment['runtime']['punctuationManager'].initialize(environment) + environment['runtime']['punctuationManager'].initialize(environment) + + environment['runtime']['textManager'] = textManager.textManager() + environment['runtime']['textManager'].initialize(environment) if not os.path.exists(self.getSetting('general','punctuationProfile')): if os.path.exists(settingsRoot + 'punctuation/' + self.getSetting('general','punctuationProfile')):