[racket] different text colors in Redex traces nodes?

From: Stephen Chang (stchang at ccs.neu.edu)
Date: Wed May 4 01:25:12 EDT 2011

When using Redex, for the traces nodes, is there any way to specify
how to color the text in each node? For example, I want to be able to
quickly identify the redex in each step by giving it a different
color. I looked in the docs and it seems like there are ways to color
the background and the arrows and the arrow labels, but not the actual
text of each node. Is that right?

Posted on the users mailing list.