wm_theme: Remove 'GNOME Shell' from wm case

This commit is contained in:
Michael Straube 2019-12-12 11:03:06 +01:00
parent 95223a6a11
commit 5eafef80dc

View file

@ -1765,7 +1765,7 @@ get_wm_theme() {
wm_theme="$detheme (${wm_theme})" wm_theme="$detheme (${wm_theme})"
;; ;;
"Compiz" | "Mutter" | "GNOME Shell" | "Gala") "Compiz" | "Mutter" | "Gala")
if type -p gsettings >/dev/null; then if type -p gsettings >/dev/null; then
wm_theme="$(gsettings get org.gnome.shell.extensions.user-theme name)" wm_theme="$(gsettings get org.gnome.shell.extensions.user-theme name)"