Am Donnerstag, 27. Juni 2019, 12:08:05 CEST schrieb Jason Sun:
> I think this is crucial to implement syntax highlighting of ERT box.
> 

I don't think so. ERT is/was meant for text, which we do _not_ interpret.

        Kornel

Attachment: signature.asc
Description: This is a digitally signed message part.

Reply via email to