[DrJava] [ drjava-Bugs-683338 ] Highlighting and Selection Interact Poorly

[SourceForge.net <no...@so...>]

Bugs item #683338, was opened at 2003-02-09 04:15
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=683338&group_id=44253

Category: Definitions (source editor)
Group: Ugly
Status: Open
Resolution: None
Priority: 5
Submitted By: Peter Centgraf (centgraf)
Assigned to: Nobody/Anonymous (nobody)
Summary: Highlighting and Selection Interact Poorly

Initial Comment:
While dragging to make a selection within an area of text which is highlighted by brace matching, the text background is not re-colored to show the selection.  However, the text foreground color is reset to black for the selected text.  When the user releases the mouse to complete the selection, the text background color is updated properly, with the selection color overriding the highlight color (if the cursor is still positioned to cause a highlight).

I have confirmed this behavior on OS X with JDK 1.3.1 and 1.4.1 and on Solaris with 1.4.1.  I believe that this happens for any kind of highlighting, including compiler errors, JUnit failures, and breakpoints.  Breakpoint highlighting always overrides both brace-match highlighting and selection highlighting.  I haven't verified with other types of highlighting.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=683338&group_id=44253