1 2 3 4 5
[org.gnome.desktop.interface] monospace-font-name = 'Monospace 11' [org.gnome.gedit.preferences.editor] editor-font = 'Monospace 11'