Auto-Refresh Project: A Forgotten DrJava Feature

I just used a DrJava feature that I pretty much forgot about: Auto-Refresh Project. It scans the project root for new source files and adds them to the project. It works really well.

DrJava: Auto-Refresh Project Feature

The feature was implemented under my supervision. How come I can’t find any reference to it in the DrJava documentation?


About Mathias

Software development engineer. Principal developer of DrJava. Recent Ph.D. graduate from the Department of Computer Science at Rice University.
This entry was posted in DrJava. Bookmark the permalink.

Leave a Reply