diff options
| author | Andy Wingo <wingo@igalia.com> | 2017-08-20 13:08:23 +0200 |
|---|---|---|
| committer | Andy Wingo <wingo@igalia.com> | 2017-08-20 13:10:56 +0200 |
| commit | a9dbefdc9d8f52cf6a1965796d1d883a7c9689bd (patch) | |
| tree | 60b8d67f259cef674960daead56398056783d68f /gnu/packages/plotutils.scm | |
| parent | 50631fe933037977cf54140d0cd473cea9ea1994 (diff) | |
gnu: gnome: Propagate font-dejavu.
* gnu/packages/gnome.scm (gnome): Add font-dejavu to propagated inputs, to
provide a better default for "Monospace". Otherwise the terminal looks
horrible and defaults to Nimbus Mono, a Courier-like face.
Diffstat (limited to 'gnu/packages/plotutils.scm')
0 files changed, 0 insertions, 0 deletions