ViewManager/ViewManager.py

changeset 1754
4e2f87d03546
parent 1546
240f55bb6e26
child 1939
eadb2328d7d4
child 1981
b6cbad9c7d69
--- a/ViewManager/ViewManager.py	Sat Mar 31 19:15:17 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