- A Concurrent Affair - https://www.concurrentaffair.org -

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?

[1] [2]Share [3]