diff install-sh @ 33843:388a61e78c53

(custom-filter-face-spec, custom-pre-filter-face-spec) (custom-post-filter-face-spec): New functions. (custom-face-set, custom-face-value-create): Filter the face spec before and after customization. (custom-face-set): If VALUE specifies a null face, pass a non-null-but-otherwise-ignored face-spec instead to `face-spec-set'.
author Miles Bader <miles@gnu.org>
date Fri, 24 Nov 2000 09:09:55 +0000
parents 35064c2e86d7
children 23a1cea22d13
line wrap: on
line diff