Tweak fonts

This commit is contained in:
Anthony Rose 2024-03-29 10:16:57 +00:00
parent a036842213
commit abe4baeedb
2 changed files with 4 additions and 3 deletions

View file

@ -75,6 +75,7 @@
<family>monospace</family> <family>monospace</family>
<prefer> <prefer>
<family>Berkeley Mono</family> <family>Berkeley Mono</family>
<family>Source Code Pro</family>
<family>DejaVu Sans Mono</family> <family>DejaVu Sans Mono</family>
<family>Bitstream Vera Sans Mono</family> <family>Bitstream Vera Sans Mono</family>
<family>Luxi Mono</family> <family>Luxi Mono</family>

View file

@ -132,10 +132,10 @@ set_misc_preferences () {
gsettings set org.gnome.desktop.interface enable-hot-corners false gsettings set org.gnome.desktop.interface enable-hot-corners false
# Configure fonts. # Configure fonts.
gsettings set org.gnome.desktop.interface document-font-name 'Sans 10' gsettings reset org.gnome.desktop.interface document-font-name
gsettings set org.gnome.desktop.interface font-name 'Sans 10' gsettings reset org.gnome.desktop.interface font-name
gsettings set org.gnome.desktop.interface monospace-font-name 'Monospace 10' 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. # Always show the Accessibility menu.
gsettings set org.gnome.desktop.a11y always-show-universal-access-status true gsettings set org.gnome.desktop.a11y always-show-universal-access-status true