UI/UserInterface.py

changeset 3579
eccd12461319
parent 3515
1b8381afe38f
child 3591
2f2a4a76dd22
--- 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)

eric ide

mercurial