Silent reload

[René J.V. Bertin]

Since we're talking about this: there *is* one thing that annoys me in reloading a file that has detected changes:

when a file puts up the new-style embedded alert that it's been changed and offers to have it reloaded, I don't expect to get another dialog that asks me the same thing.

Yet this is exactly what happens when I use the keyboard shortcut to reload the file, and that's just a waste of time and source of potential error.

R.