* Andrea Rossato (mailing_list at istitutocolli.org) wrote:
> May I ask even more? What about escape sequences that let you change
> characters' colors ("\^#ff0000I'm probably red \^#000000while
> something")?
Well, i did not want to do too much parsing and tokenizing. Though the
idea is a good one, patches welcome :).
> thanks
> andrea
Bye, Rob.