#311 Eclipse: reset command and saved history

[Anonymous]

Hello, and thanks for the DrJava eclipse plugin! It's
great.

I have two requests, first, is it possible to "restart"
the inteactions pane after recompiling in Eclipse
without having to close it and start it again from the
View->Perspective->Other Perspective... menu. Something
like a "reset" command or a button on the interactions
tab would be great.

Also, would it be possible to save the "history" of
commands that has been used, even if the Interactions
pane is restarted. It's annoying to have to write in
the commands again after it is recompiled.

Best regards,
Martin