Diomas: no, this is a different problem. As the description says, this happens after the media player extension has been running for a while and the keyboard and mouse still work. Gnome-shell just doesn't perform the correct actions in response to input.
Diomas: no, this is a different problem. As the description says, this happens after the media player extension has been running for a while and the keyboard and mouse still work. Gnome-shell just doesn't perform the correct actions in response to input.