|
| 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?
Juanma
| [Prev in Thread] | Current Thread | [Next in Thread] |