Re: Is it possible to make the ERT inset show different colors for different text?

2019-06-28 Thread Guenter Milde
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_

Re: Is it possible to make the ERT inset show different colors for different text?

2019-06-27 Thread Jean-Marc Lasgouttes
Le 27/06/2019 à 18:08, Jason Sun a écrit : I think this is crucial to implement syntax highlighting of ERT box. I tend to be careful with sentences that contain words like 'crucial' ;) Qt text edit does support some syntax highlighting, so we could have that in a dialog. But this is not

Re: Is it possible to make the ERT inset show different colors for different text?

2019-06-27 Thread Richard Kimberly Heck
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

Re: Is it possible to make the ERT inset show different colors for different text?

2019-06-27 Thread Kornel Benko
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 signature.asc Description: This is a digitally signed message part.

Is it possible to make the ERT inset show different colors for different text?

2019-06-27 Thread Jason Sun
I think this is crucial to implement syntax highlighting of ERT box.