Suggested enhancement to "reload documents on file changes" option

[mortisj]

Mayo has a hot reload option that causes a popup window to display if the file being displayed has changed. I wonder if that checkbox could be turned into a 3-way option:

• don't monitor open files for changes
• display a dialog to ask if changed file should be reloaded
• automatically reload changed files with no user interaction

The 3rd option would save a bit of clicking while developing models using a tool that does not have a built-in GUI (build123d in my case).

Thanks.