file is reloaded without UI interaction if the buffer did not change

see #1246

I can see the "loss of feature" in the sense that user is not made aware of such reload happening, but I was under the impression that would not be a problem?

As you will se from the comments on #1246 such a feature is not acceptable without an option to turn it off.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.