[DrJava] [ drjava-Feature Requests-526028 ] Limit to history length

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

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

Category: Interactions
Group: Small (< 1 pair-week)
Status: Open
Priority: 5
Submitted By: Brian Stoler (brianstoler)
Assigned to: Nobody/Anonymous (nobody)
Summary: Limit to history length

Initial Comment:
Right now, the interactions history is of unbounded
length. Though I don't expect it to come up frequently,
this could cause a fair amount of memory to leak if you
kept the same DrJava process up for days and weeks.

(Plus, who really wants to scroll 1000 lines up?)

So, I think we should cap the history. At first, the
cap could be hard-coded (500? 200?). Later, it can be
configurable.

This can all be done within History.java.

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

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