--- a/ViewManager/ViewManager.py	Sun Feb 03 14:49:54 2013 +0100
+++ b/ViewManager/ViewManager.py	Sat Feb 09 13:00:50 2013 +0100
@@ -3796,7 +3796,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="",