inconsistencies between Language menu and Style configurator
I noticed a few styles which are named inconsistently, eg. “bash” in the style configurator, vs “Shell” in the Language menu. Which can make them hard to spot. The styles in the Style configurator are also almost but not quite alphabetically sorted.
Is this a known issue, or can it be fixed?
as far as I remember, bash is the only buitlin unix shell language and because it
suits most of the others it has been decided to name it shell.
If you feel/think this is counterproductive you might think opening
an issue at github.
Please double check if it hasn’t been opened already.