[Github-comments] [geany/geany] Filetype is not redetected on reload, even when current filetype is None (Issue #2996)
elextr
notifications at xxxxx
Sat Nov 13 07:46:09 UTC 2021
> Given how annoying changing filetypes is, I doubt many users bother to manually change it.
You overstate that, its simply a multi-level menu, just because you don't like them does not mean they are an issue for most people.
Geany is a GUI program with keyboard shortcuts for common things, menus are the main UI method. I'm not saying the UI is brilliant, feel free to suggest a better UI but in a separate issue.
The filetype menu is multi-level because the number of options is so large a single menu could overflow smaller screens (there was a mailing list query Nov 8 that even existing (unspecified) menus are too large for Raspberry pi resolutions so it already happens for some menus).
> For log files, the filetype is unlikely to change because logs are usually appended.
So every reload will re-detect the same wrong filetype.
> Reload + detect filetype could easily be put behind a flag in various. Then whoever wants it can just check a box.
Just make re-detect filetype a menu option separate from reload, not another mysterious option, `Document->Set Filetype->Redetect` with a keybinding. It could even be useful for users having trouble setting the `-*-XXX-*-` comment.
--
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-967799785
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20211112/dcd0194d/attachment.htm>
More information about the Github-comments
mailing list