On Thu, Apr 21, 2005 at 11:31:07AM -0400, Richard Stallman wrote:

> Perhaps we should have one face for comment delimiters and
> another for comment text.  Then the comment delimiter
> face could be red on these terminals, while the comment text
> font could be default on these terminals.

I think this would be a very good solution.  This way any desired
behavior can be easily achieved by simple customization.

thanks
sascha
-- 
Sascha Wilde
Well, *my* brain likes to think it's vastly more powerful than any
finite Turing machine but it hasn't proven that to me...
  -- Christopher Koppler in comp.lang.lisp