diff man/mark.texi @ 55705:d2c247888af6

(facemenu-color-name-equal): New function. (list-colors-display): Use it to compare colors instead of facemenu-color-equal.
author Eli Zaretskii <eliz@gnu.org>
date Thu, 20 May 2004 16:56:35 +0000
parents 3649390c0f91
children 378fee0ad45e
line wrap: on
line diff