Community
Participate
Working Groups
I20080502-0100 QuickDiff hovers should use Bullets (StyledText#setLineBullet(..)) to render line prefixes (the '>' and '-' characters that show the type of change). The advantage of bullets is that they are not part of the textual content. Therefore, the user could just copy multiple lines of text from change hovers and paste them into an editor, without having to remove the first character of each line.
This bug hasn't had any activity in quite some time. Maybe the problem got resolved, was a duplicate of something else, or became less pressing for some reason - or maybe it's still relevant but just hasn't been looked at yet. If you have further information on the current state of the bug, please add it. The information can be, for example, that the problem still occurs, that you still want the feature, that more information is needed, or that the bug is (for whatever reason) no longer relevant.