diff man/gnus.texi @ 32588:afbcd960831b

(diff-header-face, diff-file-header-face): Add specific setting for dark background. (diff-context-face): Renamed from diff-comment-face. Set explicitly rather than inheriting from font-lock-comment-face.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Tue, 17 Oct 2000 15:55:09 +0000
parents 983e65f12610
children 6c4bf57935ff
line wrap: on
line diff