On 01/13/2020 07:57 AM, Jeremy Nicoll wrote:
[ *MASSIVE* snip ] Put it another way, if you put just a handful of lines in a separate file, does that file get coloured the same way?
I took that some steps further.The *observability* of the problem is dependent on at least font size, font face, Color Pallet and specific monitor. There may be a dependency on Debian point release.
For the time being I will switch to the machine which makes it easier to distinguish colorization.