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, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.