ViewManager/ViewManager.py

branch
5_2_x
changeset 1756
0523aa6d32cf
parent 1546
240f55bb6e26
child 1939
eadb2328d7d4
child 1981
b6cbad9c7d69
--- a/ViewManager/ViewManager.py	Sun Apr 01 12:24:30 2012 +0200
+++ b/ViewManager/ViewManager.py	Sun Apr 01 14:31:29 2012 +0200
@@ -4191,8 +4191,15 @@
         Public slot to handle the projectOpened signal.
         """
         for editor in self.editors:
-            editor.setSpellingForProject()
-        
+            editor.projectOpened()
+    
+    def projectClosed(self):
+        """
+        Public slot to handle the projectClosed signal.
+        """
+        for editor in self.editors:
+            editor.projectClosed()
+    
     def projectFileRenamed(self, oldfn, newfn):
         """
         Public slot to handle the projectFileRenamed signal.

eric ide

mercurial