[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: pygments: `\foo` not always rendered as bold
From: |
Werner LEMBERG |
Subject: |
Re: pygments: `\foo` not always rendered as bold |
Date: |
Tue, 20 Sep 2022 11:49:04 +0000 (UTC) |
>> I've noticed in the NR that stuff like `\foo` isn't always coloured
>> as expected (i.e., `\foo` isn't always bold). Attached are two
>> examples from the NR.
>>
>> I wonder whether it makes sense to always embolden stuff starting
>> with `\` (except in a string). This might even include `\1` and
>> friends.
>
> From these examples at least, it would seem to embolden stuff which
> requires an argument (i.e. music functions and markup functions),
> not articulations which don't require a subsequent argument.
> There's a certain logic to that, surely?
For me, it feels inconsistent – a command starting with `\' should be
marked as such, i.e., printed in bold, regardless whether it has an
argument or not. This is what you see in virtually all environements
that colour/embolden keywords.
Werner