diff options
| author | Lars Ingebrigtsen | 2021-12-01 06:30:32 +0100 |
|---|---|---|
| committer | Lars Ingebrigtsen | 2021-12-01 14:41:42 +0100 |
| commit | 2d60566c8787b63b5e4e2958e9ec9f55fbcf9e87 (patch) | |
| tree | 48ab6b62f9960210cfb0ee65ee084d10259e3610 /etc | |
| parent | 9d17e346fe15d7afff8a2e520522586c51225a4c (diff) | |
| download | emacs-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/NEWS | 7 |
1 files changed, 7 insertions, 0 deletions
| @@ -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. | ||
| 371 | To get the monospace font back, you can put something like the | ||
| 372 | following 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'. |
| 371 | All other 'gnus-header-*' faces inherit from this face now. | 378 | All other 'gnus-header-*' faces inherit from this face now. |
| 372 | 379 | ||