general: fixed gnome shell mutter issue Closes #1194

This commit is contained in:
Dylan Araps 2019-02-14 08:19:51 +02:00
parent 1abc2ada77
commit 1b75608304
1 changed files with 3 additions and 1 deletions

View File

@ -1574,8 +1574,10 @@ get_wm() {
wm="${wm/\"*}"
fi
# Window Maker does not set _NET_WM_NAME
# Rename window managers to their proper values.
[[ "$wm" =~ "WINDOWMAKER" ]] && wm="wmaker"
[[ "$wm" =~ "GNOME Shell" ]] && wm="Mutter"
# Fallback for non-EWMH WMs.
[[ -z "$wm" ]] && \
wm="$(ps "${ps_flags[@]}" | grep -m 1 -o -F \