[DrJava] [ drjava-Feature Requests-522213 ] Don't store duplicate entries to history

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

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

Category: Interactions
Group: None
Status: Open
Priority: 5
Submitted By: Brian Stoler (brianstoler)
Assigned to: Brian Stoler (brianstoler)
Summary: Don't store duplicate entries to history

Initial Comment:
Don't add an entry to the history if it is exactly the
same as the entry at the end of the history already.

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

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