[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