|
From: SourceForge.net <no...@so...> - 2009-08-04 05:27:21
|
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 |