On Wed, May 4, 2011 at 12:25 AM, Stephen Chang <stch...@ccs.neu.edu> wrote: > 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?
Yes, that's right. The Redex stepper does something like what you want. It does an s-expression diff to determine what to highlight. That strategy is sometimes useful but other times leads to distracting highlights. If you have another idea for how to determine what to highlight, I'd be interested. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
