Is is possible to save the interactions history in the Eclipse plug-in version of DrJava (version 0.9.8), short of cutting a pasting the interaction into a text file? I can't find this ability in the context menu, and there does not appear to be any help packaged with the plug-in (nothing is showing up in my Help system contents).
This would be a very helpful feature to have if it is not already present. I want to start using the DrJava plugin for Eclipse in my classes this fall. I use Eclipse, not the full DrJava, because of the Green UML Eclipse plug-in that we use.