This repository has been archived by the owner on Oct 1, 2020. It is now read-only.

Coverage higlighting randomly not shown #12

Open

marchof opened this issue Oct 10, 2012 · 0 comments

Labels

bug

Member

marchof commented Oct 10, 2012

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

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.