Closed spratt closed 12 years ago
When we mouse over a comment, lines get selected. I'd like those lines to be unselected when the mouse moves away from the comment. Otherwise, the user may get confused as to which comment refers to which lines.
I recall having issue with "flickering" when I last considered this. Will investigate further.
Done.
When we mouse over a comment, lines get selected. I'd like those lines to be unselected when the mouse moves away from the comment. Otherwise, the user may get confused as to which comment refers to which lines.