On 2019-06-27, Richard Kimberly Heck wrote:
> 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, we do not interpret. We pass through the content unchanged to the
latex source.
This implies that it must be valid LaTeX just as the user preamble.
So, if we implement syntax highlighting for the user preamble, we may do so
also for ERT.
OTOH, there is more close interaction of ERT and normal text.
E.g., a comment sign in ERT hides everything that ends up on the same
source line.
Also, we should not prevent or flag unbalanced braces etc. as it may be
intentional to have, e.g.,
ERT: \mymacro{
normal text: <text as content of \mymacro>
ERT: }
Günter
