On 10/12/2011 12:05 AM, Eli Zaretskii wrote: > [..] To be truly portable, there should be an API that > accepts a string and the information how to color it, and then a > platform-specific backend actually produces the colored output and > writes it to the screen.
That's a good idea, actually. Best, Sebastian _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
