From 5aa2154b764f01c5b70bdab432c044d7f273d44b Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Thu, 8 Dec 2022 09:10:31 +0000 Subject: [PATCH] Use default Gnome interface fonts --- roles/home-gui/files/gnome-setup.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/roles/home-gui/files/gnome-setup.sh b/roles/home-gui/files/gnome-setup.sh index f73328f..6b54aed 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -112,9 +112,9 @@ set_misc_preferences () { # Configure fonts. gsettings set org.gnome.desktop.interface document-font-name 'Sans 11' - gsettings set org.gnome.desktop.interface font-name 'Sans 11' + gsettings reset org.gnome.desktop.interface font-name gsettings set org.gnome.desktop.interface monospace-font-name 'Monospace 11' - gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Sans Bold 11' + 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