* 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.