Re: indented meta-info in describe-variable

[Juanma Barranquero]

On 10/10/07, Stefan Monnier <address@hidden> wrote:

> Should be fixed now,

Thanks.

> PS: As for using faces instead of indentation, feel free to try it out, but
> it's always tricky business

The more I think about it, the more I like the idea. The output of
describe-variable is a quite structured text, with clearly defined
sections. font-locking seems like a perfect match for it.

> and may not help on a tty.

That wouldn't be worse that the default face used now.

             Juanma