I am making this in reference to the Eclipse Plugin, but I suppose it could also hold the DrJava in general.
Observation: in real projects, each class depends on several other classes and perhaps several other libraries in jar files.
To use DrJava for quick development in these circumstances it would be great if it could somehow auto import all the classes either in a "project" or associated with a single java file. Instead of painstakingly importing each class, and it's dependencies and so on.
Perhaps it would take the form of a "link with the editor" button that would auto-import all imports in the current file in the editor
Alternatively if the import was smart enough to auto-import all dependencies of the first import, it wouldn't be so bad.
I think this simple addition would make the Eclipse Plugin much much easier to use.
Logged In: YES
user_id=1075744
Originator: NO
This feature exists in the stand-alone version of DrJava now. We are working on updating the Eclipse plugin.
Logged In: YES
user_id=597677
Originator: YES
Great! Thanks.