From b8442be69aedd70dcbb2c6f6fa9842ac0481590b Mon Sep 17 00:00:00 2001 From: phaleixo Date: Sun, 8 Jun 2025 13:53:57 -0300 Subject: [PATCH] modified: src/shell_scripts/fonts.sh --- src/shell_scripts/fonts.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/shell_scripts/fonts.sh b/src/shell_scripts/fonts.sh index 10efd2d..e223ef8 100644 --- a/src/shell_scripts/fonts.sh +++ b/src/shell_scripts/fonts.sh @@ -70,7 +70,7 @@ if [[ $XDG_CURRENT_DESKTOP == *"GNOME"* ]]; then echo "Fonts set for GNOME" elif [[ $XDG_CURRENT_DESKTOP == *"XFCE"* ]]; then xfconf-query -c xsettings -p /Gtk/FontName -s "Inter 10" - xfconf-query -c xsettings -p /Gtk/MonospaceFontName -s "JetBrainsMono 10" + xfconf-query -c xsettings -p /Gtk/MonospaceFontName -s "JetBrains Mono Regular 10" echo "Fonts set for XFCE" else echo "Unknown desktop environment. Set fonts manually if needed."