In Windows 10, most IDEs and text editors will notice that a file was changed by some other application. Arduino is a notable exception.

Test case:

• use ide to load file from disk
• touch the file from some other application.

What's expected:

• "Warning: File has changed on disk. Reload ? [yes]/[no]"
• if yes, reload file without losing other files (unsaved work in other tabs)

What happens:

• nothing.

Possible method:

• repeating 5s timer that watches file last touched time.

Thank you, stay awesome!