Mercurial Repositories > eric / file diff

diff -r dc5f6e398af4 -r f9a6a512bc1e ViewManager/ViewManager.py
--- 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="",