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 | |
| 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')
| -rw-r--r-- | gnu/packages/gnome.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index e0e5df361c..6aa2e6adf2 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -5676,6 +5676,7 @@ software that do not provide their own configuration interface.") `(("adwaita-icon-theme" ,adwaita-icon-theme) ("baobab" ,baobab) ("font-cantarell" ,font-cantarell) + ("font-dejavu" ,font-dejavu) ("at-spi2-core" ,at-spi2-core) ("dbus" ,dbus) ("dconf" ,dconf) |