OK, we will need to assign this bug to all the extensions that might be affected. I don't believe gnome-shell itself can help here.
OK, we will need to assign this bug to all the extensions that might be affected. I don't believe gnome-shell itself can help here.