[DrJava] [ drjava-Bugs-676588 ] non-default key bindings don't work except in editor window

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

Bugs item #676588, was opened at 2003-01-29 06:34
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=676588&group_id=44253

Category: User interface
Group: Annoying
Status: Open
Resolution: None
Priority: 5
Submitted By: Tim Oberg (alphacoder)
Assigned to: Nobody/Anonymous (nobody)
Summary: non-default key bindings don't work except in editor window

Initial Comment:
If you change your key bindings, it is only valid for
the text editor part of the screen, not interactions or
find/replace or any other text box.

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

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