gsettings-desktop-schemas/SOURCES/org.gnome.desktop.interface.gschema.override
2021-10-08 11:39:11 +00:00

3 lines
65 B
Plaintext

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