Coverage higlighting randomly not shown

Open marchof opened this issue 13 years ago • 0 comments

Sometime open editors are do not get highlighted. Closing and opening the editor brings the highlighting back.

Transferred from SF: http://sourceforge.net/tracker/?func=detail&aid=1722680&group_id=177969&atid=883351

Oct 10 '12 22:10 marchof