[DrJava] [ drjava-Bugs-1475743 ] Color of Breakpoints and Bookmarks Not Updated

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

Bugs item #1475743, was opened at 2006-04-24 14:25
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1475743&group_id=44253

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Definitions (source editor)
Group: None
Status: Open
Resolution: None
Priority: 9
Submitted By: Mathias Ricken (mgricken)
Assigned to: Mathias Ricken (mgricken)
Summary: Color of Breakpoints and Bookmarks Not Updated

Initial Comment:
When the color of the breakpoint or bookmark highlight
is changed, the color of existing breakpoints and
highlights is not changed.

New breakpoints and highlights do get the new color.

When a breakpoint is enabled or disabled, it also
doesn't change the color.

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

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