ViewManager/ViewManager.py

changeset 2391
f9a6a512bc1e
parent 2362
68a92d01c1cc
child 2400
c1726b754f96
--- a/ViewManager/ViewManager.py	Sun Feb 03 18:21:49 2013 +0100
+++ b/ViewManager/ViewManager.py	Sat Feb 09 13:00:50 2013 +0100
@@ -3815,7 +3815,10 @@
         if self.currentEditor is not None:
             self.currentEditor.highlight()
             self.currentEditor = None
-            
+        
+        for editor in self.editors:
+            editor.refreshCoverageAnnotations()
+        
         self.__setSbFile()
         
     def openSourceFile(self, fn, lineno=-1, filetype="",

eric ide

mercurial