UI/UserInterface.py

changeset 1926
474057fbefe0
parent 1852
12d37ab1baf3
child 1939
eadb2328d7d4
--- a/UI/UserInterface.py	Sat Jun 30 17:03:09 2012 +0200
+++ b/UI/UserInterface.py	Sun Jul 01 12:50:37 2012 +0200
@@ -429,6 +429,7 @@
         self.preferencesChanged.connect(self.taskViewer.handlePreferencesChanged)
         self.preferencesChanged.connect(self.pluginManager.preferencesChanged)
         self.preferencesChanged.connect(debugServer.preferencesChanged)
+        self.preferencesChanged.connect(self.debugViewer.preferencesChanged)
         self.preferencesChanged.connect(self.cooperation.preferencesChanged)
         
         self.viewmanager.editorSaved.connect(self.project.repopulateItem)

eric ide

mercurial