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
|
