diff --git a/roles/home-gui/files/fonts.conf b/roles/home-gui/files/fonts.conf index c1a2f85..76bda7f 100644 --- a/roles/home-gui/files/fonts.conf +++ b/roles/home-gui/files/fonts.conf @@ -75,6 +75,7 @@ monospace Berkeley Mono + Source Code Pro DejaVu Sans Mono Bitstream Vera Sans Mono Luxi Mono diff --git a/roles/home-gui/files/gnome-setup.sh b/roles/home-gui/files/gnome-setup.sh index 33b7c94..51b5fbe 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -132,10 +132,10 @@ set_misc_preferences () { gsettings set org.gnome.desktop.interface enable-hot-corners false # Configure fonts. - gsettings set org.gnome.desktop.interface document-font-name 'Sans 10' - gsettings set org.gnome.desktop.interface font-name 'Sans 10' + gsettings reset org.gnome.desktop.interface document-font-name + gsettings reset org.gnome.desktop.interface font-name gsettings set org.gnome.desktop.interface monospace-font-name 'Monospace 10' - gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Sans Bold 10' + gsettings reset org.gnome.desktop.wm.preferences titlebar-font # Always show the Accessibility menu. gsettings set org.gnome.desktop.a11y always-show-universal-access-status true