diff man/glossary.texi @ 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 ac7e9e5e2ccb
children e7c4d54b3991
line wrap: on
line diff