Make the html trace tools use colors to represent the round at
[tatoo.git] / tools / add_onclick.sh
1 #!/bin/sh
2 cat "$1" | sed -e "s/id=\\(\"node[0-9]*\"\\)/id=\\1 onclick='activate(\\1);' /"