gsettings-desktop-schemas/SOURCES/org.gnome.desktop.interface...

3 lines
65 B

[org.gnome.desktop.interface]
monospace-font-name='Monospace 11'