--- a/UI/UserInterface.py Thu May 15 18:45:07 2014 +0200 +++ b/UI/UserInterface.py Fri May 16 23:36:27 2014 +0200 @@ -342,6 +342,8 @@ self.project.projectOpened.connect(self.__projectOpened) self.project.projectOpened.connect(self.__activateProjectBrowser) self.project.projectClosed.connect(self.__projectClosed) + self.project.projectClosed.connect( + self.backgroundService.preferencesOrProjectChanged) self.multiProject.multiProjectOpened.connect( self.__activateMultiProjectBrowser) @@ -407,6 +409,8 @@ self.preferencesChanged.connect(debugServer.preferencesChanged) self.preferencesChanged.connect(self.debugViewer.preferencesChanged) self.preferencesChanged.connect(self.cooperation.preferencesChanged) + self.preferencesChanged.connect( + self.backgroundService.preferencesOrProjectChanged) self.viewmanager.editorSaved.connect(self.project.repopulateItem) self.viewmanager.lastEditorClosed.connect(self.__lastEditorClosed)