| 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. |
|
![[logo]](/logo.png){kind=logo}