The presumption is that the majority of files recognise their filetype correctly either because of the shebang, or the XML marker, or an extracted filetype, or the extension, or the user has deliberately set the filetype to something different.

Not a good presumption. Most mentions of filetype in the manual are related to modifying the default behavior.

... that is likely to be rare ... few times the workaround of "close&save, reload last" is needed.

Not that rare. Most of the geany-plugins README files are "detected" as None.

... breaking the filetype guarantee on reload is not an acceptable tradeoff ...

I did not find this "filetype guarantee" in the manual. It is a 74-page document, so maybe I missed it.

Since "None" is the fallback filetype, it's a good candidate for another detection attempt. Always auto-detect on reload would also be reasonable because reloads are forced by the user or external changes.

—
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.