inconsistencies between Language menu and Style configurator
-
Hi,
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.Cheers
Claudia
Hello! It looks like you're interested in this conversation, but you don't have an account yet.
Getting fed up of having to scroll through the same posts each visit? When you register for an account, you'll always come back to exactly where you were before, and choose to be notified of new replies (either via email, or push notification). You'll also be able to save bookmarks and upvote posts to show your appreciation to other community members.
With your input, this post could be even better 💗
Register Login