From 2ffd38a80bdbbf7682e2337883d567d5acdec5c8 Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Fri, 31 Dec 2021 13:54:36 +0000 Subject: [PATCH] Go back to Noto Sans Bold --- roles/home-gui/files/gnome-setup.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/roles/home-gui/files/gnome-setup.sh b/roles/home-gui/files/gnome-setup.sh index 07ef100..ce5f557 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -94,7 +94,7 @@ set_misc_preferences () { gsettings set org.gnome.desktop.interface document-font-name 'Noto Sans 11' gsettings set org.gnome.desktop.interface font-name 'Noto Sans 11' gsettings set org.gnome.desktop.interface monospace-font-name 'Monospace 11' - gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Noto Sans SemiBold 11' + gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Noto Sans Bold 11' } set_misc_preferences