[DrJava] [ drjava-Bugs-2831821 ] Caret updating is broken

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

Bugs item #2831821, was opened at 2009-08-04 00:27
Message generated for change (Tracker Item Submitted) made by mgricken
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=2831821&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: 7
Private: No
Submitted By: Mathias Ricken (mgricken)
Assigned to: Nobody/Anonymous (nobody)
Summary: Caret updating is broken

Initial Comment:
I am heavily using DrJava.  At some point in an editing session, coordinate updating (in response to cursor movement) breaks.   The caret update code is delicate (I recall working on it within the last year or two) notably because the caretUpdate method is not guaranteed to run in the event thread.

(filed on behalf of Corky)

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

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