diff options
| author | Ben Wong <ben@wongs.net> | 2019-01-06 21:52:08 -0500 |
|---|---|---|
| committer | Aaron M. Ucko <ucko@debian.org> | 2019-01-06 21:52:08 -0500 |
| commit | b266c5ac9aee1339212e20d4f3e3ba955499b7ac (patch) | |
| tree | 4635956e747f4550034568842e7f582ec786e1ef /GPL | |
| parent | a23b8f4a422d0de69a006ed010eff5795319db98 (diff) | |
Support custom faces for definition bodies, preferably var-width.
Define and use a new dictionary-word-definition-face, which defaults
to "DejaVu Serif", if that font family is supported. If that font
isn't available and the display type is "X", "Sans Serif" is
used. Otherwise, the default fonts are used.
Diffstat (limited to 'GPL')
0 files changed, 0 insertions, 0 deletions