diff configure @ 28172:b243caac6505

(custom-variable-tag-face): Handle case that default face's height is not a number. (custom-face-tag-face, custom-group-tag-face-1) (custom-group-tag-face): Ditto. (custom-group-tag-face-1): Add :group.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 16 Mar 2000 22:14:18 +0000
parents ee660e36891c
children 5b7b3b5d54df
line wrap: on
line diff