Yes I use the terminal library a lot but as far as I know it doesn't provide 
fine grained control for just (efficiently) colorizing a portion of a string.

Reply via email to