[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
pygments: `\foo` not always rendered as bold
|
From: |
Werner LEMBERG |
|
Subject: |
pygments: `\foo` not always rendered as bold |
|
Date: |
Tue, 20 Sep 2022 05:39:25 +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.
Werner
- pygments: `\foo` not always rendered as bold,
Werner LEMBERG <=