window shortcuts using super key erroneously focus unrelated window under mouse
I noticed the following problem. I can have one window focused, and I press super+<right arrow> to snap the window to the right side of the screen. If my mouse is over another window, sometimes, the window under my mouse gets focus upon pressing the super key, and so it is snapped to the edge of the screen instead of the previously focused window.
Here is a video demonstrating the issue. In this video, the only clicking (other than starting and stopping the recording) is on Sublime Text to focus it. And the only keypresses I am making are super+<right arrow> to snap and unsnap. I am not clicking on Spotify at all, it is being focused only because of the bug.
I am on Ubuntu 18.04, and only see the issue with Spotify. Spotify gets focus if it is under the mouse and I press super, but other apps don't. The Spotify I am using is a snap. I do not see the behaviour with other snaps (tested with Skype) or other electron apps (tested GitKraken). Only Spotify, so I'm not sure if this affects any other programs at all. But presumably it is up to gnome-shell or mutter whether a window gets focus, so I assume this is an issue with gnome-shell or mutter and not with Spotify.
It's not a big deal but thought I'd report it anyway.