[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: indented meta-info in describe-variable

From: Juanma Barranquero
Subject: Re: indented meta-info in describe-variable
Date: Wed, 10 Oct 2007 23:37:20 +0200

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

> Should be fixed now,


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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]