Subject: Re: bug#48365: 13.0.11; Dollars in distinct comments trigger math mode highlighting in text in-between

From: Tassilo Horn <[email-masked]>
Date: Wed, 12 May 2021 08:49:58 +0200

Ikumi Keita <[email-masked]> writes:

Hi Ikumi,

>> Would it make sense to apply these rules:
>
>> 1. a $ in comments can never start math mode
>> 2. but it can and will always stop math mode
>
> That is a clean idea and, fortunately, easy to implment. Could you test
> the attached patch?

I've committed a completely identical patch an hour ago with a diff just
in the comment explaining what we are doing.  It's very encouraging when
we both have the very same idea, so I think, it cannot be too wrong. :-)

Thanks,
Tassilo