[DrJava] [ drjava-Feature Requests-1065216 ] Key Binding Option for Interactions History Scrolling

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

Feature Requests item #1065216, was opened at 2004-11-12 08:55
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=1065216&group_id=44253

Category: Other
Group: None
Status: Open
Priority: 3
Submitted By: Elspeth Simpson (ejspe)
Assigned to: Nobody/Anonymous (nobody)
Summary: Key Binding Option for Interactions History Scrolling

Initial Comment:
It would be nice to have a key-binding option for the
two ways of scrolling through the interactions history
(currently, up arrow goes up one line, ctrl-up arrow
goes up 1 interactions history item).  This way, users
could set the behavior to match their personal preference.

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

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