changing the filetype (if detected) from a reloaded file means a user specified filetype will be overridden

What happened to the "presumption is that the majority of files recognise their filetype correctly"? Given how annoying changing filetypes is, I doubt many users bother to manually change it.

... there is even an automatic reload option used by some for dynamic things like logfiles or program outputs. An accidental filetype detection on reload would keep changing the user set filetype for those.

If program output includes filetype identification, the filetype should be changed to match. For log files, the filetype is unlikely to change because logs are usually appended. If the filetype is changed only when the type is None, it's even less likely that a manually selected filetype would be changed.

Do not to connect two separate actions and force users to accept both when they only want one.

Reload + detect filetype could easily be put behind a flag in various. Then whoever wants it can just check a box.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.