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