[DrJava] [ drjava-Bugs-573932 ] No key binding for end of document

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

Bugs item #573932, was opened at 2002-06-26 03:40
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=573932&group_id=44253

Category: User interface
Group: Annoying
Status: Open
Resolution: None
Priority: 3
Submitted By: Charles Reis (csreis)
Assigned to: Charles Reis (csreis)
Summary: No key binding for end of document

Initial Comment:
In the new configurable key bindings, a config option
exists for "key.end.document", but there's no code in
MainFrame for actually binding this to an action. 
Looks like it was just accidentally left out-- I'll put
it in.

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

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