[Github-comments] [geany/geany] Filetype is not redetected on reload, even when current filetype is None (Issue #2996)

xiota notifications at xxxxx
Sat Nov 13 05:10:46 UTC 2021


> 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 or view it on GitHub:
https://github.com/geany/geany/issues/2996#issuecomment-967783654
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20211112/0573adf9/attachment.htm>


More information about the Github-comments mailing list