diff etc/TUTORIAL.de @ 44611:e4a2909015d3

(facemenu-add-new-face): Use this only for faces. Delete arg MENU. (facemenu-add-new-color): New function. (facemenu-set-foreground, facemenu-set-background): Use facemenu-add-new-color.
author Richard M. Stallman <rms@gnu.org>
date Mon, 15 Apr 2002 22:05:30 +0000
parents 89727a7321d0
children 0b93e51d4568
line wrap: on
line diff