[DrJava] [ drjava-Bugs-530573 ] down arrow occasionally doesn't work

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

Bugs item #530573, was opened at 2002-03-15 18:56
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=438935&aid=530573&group_id=44253

Category: Definitions (source editor)
Group: Annoying
Status: Open
Resolution: None
Priority: 5
Submitted By: John Garvin (johngarvin)
Assigned to: Nobody/Anonymous (nobody)
Summary: down arrow occasionally doesn't work

Initial Comment:
I thought I was going insane when I first noticed 
this, but other people have confirmed it.

When you add text to a line that immediately precedes 
a blank line and then press the down arrow, instead 
of moving the cursor down it has no effect.

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

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