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

[Tassilo Horn]

Ikumi Keita <ikumi@ikumi.que.jp> 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