[DrJava] [ drjava-Feature Requests-525824 ] see empty string at end of history

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

Feature Requests item #525824, was opened at 2002-03-05 00:23
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=438938&aid=525824&group_id=44253

Category: Interactions
Group: Small (< 1 pair-week)
Status: Open
Priority: 2
Submitted By: Eric E. Allen (eallen)
Assigned to: Eric E. Allen (eallen)
Summary: see empty string at end of history

Initial Comment:
When scrolling through the history in the 
interactions window, it would be nice if the user 
could move all the way down back to a blank line. 
Otherwise, it's necessary to scroll to some line in 
the history and manually delete it.

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

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