[Top][All Lists]

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

Re: facemenu-listed-faces

From: Juanma Barranquero
Subject: Re: facemenu-listed-faces
Date: Tue, 20 Mar 2007 21:49:58 +0100

On 3/20/07, Drew Adams <address@hidden> wrote:

I don't understand user option `facemenu-listed-faces'. Shouldn't the
default value be t? Wouldn't it be normal, whenever the user applies a face
to text, to add that face to the menu? Isn't that the usual case, which
should be the default?

Wasn't that discussed in the "facemenu-unlisted-faces" thread (from
2006-07-02 on) where you participated quite actively?


reply via email to

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