On 6/27/19 1:36 PM, Kornel Benko wrote: > 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.
Yes, if you want to do something like that, it'll be best to create a new type of collapsible inset. Riki