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.
Logged In: YES
user_id=430590
Originator: NO
We ceased active development of the Eclipse plugin when IBM decided not to continue supporting the project. If I can find a student who has some experience with Eclipse who is interested in working on the plugin, I will ask him to implement your suggestion.
Logged In: YES
user_id=666678
Originator: NO
Moved to Feature Requests