> Le 20 sept. 2022 à 16:39, Werner LEMBERG a écrit :
>
>
>>
>>> 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
Werner LEMBERG writes:
>>> 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).
> \open is lexed as Token.Name.Builtin.Articulation, which the PDF
> style in book_highlight.py explicitly doesn't make bold:
>
>
> # A custom black-and-white style designed for the PDF documentation.
> pdf_styles = {
> Token: "",
> Token.Whitespace: "",
> Token.Text: "",
> Token
>> 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` a
At 05:39 on 20 Sep 2022, Werner LEMBERG wrote:
> 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
Le 20/09/2022 à 07:39, Werner LEMBERG a écrit :
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
Le 20/09/2022 à 11:24, Jean Abou Samra a écrit :
> Remind me who wrote this style, already? :-)
^^^
False cognate: I meant ‘again’.
