aboutsummaryrefslogtreecommitdiffstats
path: root/etc
diff options
context:
space:
mode:
authorLars Ingebrigtsen2021-12-01 06:30:32 +0100
committerLars Ingebrigtsen2021-12-01 14:41:42 +0100
commit2d60566c8787b63b5e4e2958e9ec9f55fbcf9e87 (patch)
tree48ab6b62f9960210cfb0ee65ee084d10259e3610 /etc
parent9d17e346fe15d7afff8a2e520522586c51225a4c (diff)
downloademacs-2d60566c8787b63b5e4e2958e9ec9f55fbcf9e87.tar.gz
emacs-2d60566c8787b63b5e4e2958e9ec9f55fbcf9e87.zip
Use proportional fonts in the Gnus headers by default
* lisp/gnus/gnus-art.el (gnus-header): Inherit from `variable-pitch'. (gnus--variable-pitch-p): New helper function. (gnus-article-treat-fold-headers): Fill using pixel filling.
Diffstat (limited to 'etc')
-rw-r--r--etc/NEWS7
1 files changed, 7 insertions, 0 deletions
diff --git a/etc/NEWS b/etc/NEWS
index 52686479ce2..d786d17f21e 100644
--- a/etc/NEWS
+++ b/etc/NEWS
@@ -367,6 +367,13 @@ the common "utm_" trackers from URLs.
367** Gnus 367** Gnus
368 368
369--- 369---
370*** Gnus now uses a variable-pitch font in the headers by default.
371To get the monospace font back, you can put something like the
372following in your .gnus file:
373
374 (set-face-attribute 'gnus-header nil :inherit 'unspecified)
375
376---
370*** New face 'gnus-header'. 377*** New face 'gnus-header'.
371All other 'gnus-header-*' faces inherit from this face now. 378All other 'gnus-header-*' faces inherit from this face now.
372 379