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