diff make-dist @ 37220:bd650fe3380e

(widget-color-sample-face-get): Don't make faces for undefined colors.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 05 Apr 2001 15:57:16 +0000
parents 3f8e87ac64ab
children 4bfdb0896d45
line wrap: on
line diff