[DrJava] [ drjava-Feature Requests-589755 ] Save Interactions history editable pane

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

Feature Requests item #589755, was opened at 2002-08-01 18:25
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=589755&group_id=44253

Category: User interface
Group: Small (< 1 pair-week)
Status: Open
Priority: 5
Submitted By: Charles Reis (csreis)
Assigned to: James Hsia (jhsia)
Summary: Save Interactions history editable pane

Initial Comment:
It would be nice to be able to edit the interactions
history before saving it to a file, in case it includes
errors or unnecessary statements.

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

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