--- 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="",