Comment 1 for bug 432165

Revision history for this message
Dustin Kirkland  (kirkland) wrote :

Along these lines, it might be nice to remove all of the \005{= wK} style color changes, setting them in a file to be sourced:

wK="\005{= wK"

and then using $wK wherever.

:-Dustin