14 Jun
2007
14 Jun
'07
3:21 p.m.
* Andrea Rossato (mailing_list@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.