diff --git a/schemas-override/org.gnome.desktop.interface.gschema.override b/schemas-override/org.gnome.desktop.interface.gschema.override index e8fd0ae..6d77314 100644 --- a/schemas-override/org.gnome.desktop.interface.gschema.override +++ b/schemas-override/org.gnome.desktop.interface.gschema.override @@ -1,6 +1,7 @@ [org.gnome.desktop.interface] icon-theme='kora-pgrey' document-font-name='Roboto 11' +monospace-font-name='Source Code Pro 11' font-antialiasing='rgba' font-hinting='full' font-name='Roboto 11'