ant/workstation
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Make fonts smaller

Browse source
This commit is contained in:
Anthony Rose 2023-05-16 20:14:21 +01:00
parent 90264b9499
commit 9c99d39cd2
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
roles/home-gui/files/gnome-setup.sh
View file

@ -135,10 +135,10 @@ set_misc_preferences () {
gsettings set org.gnome.desktop.background color-shading-type 'solid'
# Configure fonts.
gsettings set org.gnome.desktop.interface document-font-name 'Sans 11'
gsettings reset org.gnome.desktop.interface font-name
gsettings set org.gnome.desktop.interface monospace-font-name 'Monospace 11'
gsettings reset org.gnome.desktop.wm.preferences titlebar-font
gsettings set org.gnome.desktop.interface document-font-name 'Sans 10'
gsettings set org.gnome.desktop.interface font-name 'Sans 10'
gsettings set org.gnome.desktop.interface monospace-font-name 'Monospace 10'
gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Sans Bold 10'
# Always show the Accessibility menu.
gsettings set org.gnome.desktop.a11y always-show-universal-access-status true