7 Nov
2023
7 Nov
'23
8:15 p.m.
Howdjadothat? I never got around to a pull request, but thanks.
Oops, I must have fat-fingered a bug number, this was not something I intended to close!
On the subject, I kinda don't like the idea of like prefixing all the menu names with their numbers. I can see the utility of comparing them to the radio or the manual, but I think it will make the interface look more cluttered.
What about putting those in the doc text for each item and making it visible some other way, like a tooltip? I don't think I'm exposing the doc text on the settings items, but I should try to do that and if so, that would be a better place, IMHO.
--Dan