Fix elementary#92

jepotter1-archive · Oct 23, 2018 · 26a4263 · 26a4263
1 parent c13dcc6
commit 26a4263
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/debian/elementary-default-settings.gsettings-override b/debian/elementary-default-settings.gsettings-override
@@ -31,7 +31,7 @@ document-font-name='Open Sans 10'
 font-name='Open Sans 9'
 gtk-theme='elementary'
 icon-theme='elementary'
-monospace-font-name='Roboto Mono 10'
+monospace-font-name='Fira Code 10'
 show-unicode-menu=false
 toolbar-style='icons'