diff make-dist @ 63897:f8e70842f12b

(facemenu-unlisted-faces): Delete foreground and background color faces. (facemenu-set-foreground, facemenu-set-background): Use facemenu-set-face-from-menu. (facemenu-set-face-from-menu): Treat face names that start with "fg:" or "bg:" as special. (facemenu-add-new-color): Don't create faces. Simplify.
author Lute Kamstra <lute@gnu.org>
date Fri, 01 Jul 2005 08:28:26 +0000
parents 3e36b3c98f8e
children c53a9463c31a 62afea0771d8
line wrap: on
line diff