colorize_lines.pl: fix: changing highlight color did not apply messages already displayed