Bug https://bugzilla.gnome.org/show_bug.cgi?id=760745 might have been a trigger or cause for this bug. Try whether this is fixed with mutter 3.22.1.
Bug https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 760745 might have been a trigger or cause for this bug. Try whether this is fixed with mutter 3.22.1.