inconsistencies between Language menu and Style configurator
Roeland Schoukens last edited by
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?
Claudia Frank last edited by
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.