gnu: gsettings-desktop-schemas: patch monospace font.
authorLeo Prikler <leo.prikler@student.tugraz.at>
Tue, 25 Feb 2020 14:59:10 +0000 (15:59 +0100)
committerMarius Bakke <mbakke@fastmail.com>
Fri, 20 Mar 2020 18:15:51 +0000 (19:15 +0100)
commit3861fb1c1f0e33ea714093e98da828d03acf21e5
treed29e4e4fe85055eb23499aa95caca6ce58028896
parent0f6651344f4bf1736d9efc3b5523b2cec70f8ede
gnu: gsettings-desktop-schemas: patch monospace font.

* gnu/packages/gnome.scm (gsettings-desktop-schemas)[arguments]<phases>:
Rename `set-adwaita-theme-file-name' to the more generic `patch-schemas'.
Add patch for the monospace font (Source Code Pro 10 -> Monospace 11).
Adjust comments.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
gnu/packages/gnome.scm