28 Aug
2019
28 Aug
'19
1:54 p.m.
Is it possible to force lines written in the log with \writestatus to have a specific color? The log can be very substantial and it would be nice to have some lines brought to attention by a different color. dr. Hans van der Meer