Fix refocusing when shifting views to other workspaces

[flaviozavan]

• If the workspace ends up empty, focus is now removed;
• Otherwise, focus is passed onto the next view

---

This addresses some issues I have been having where the focus ends up on unexpected views

There is some overlap with the fullscreen PR, but the merge/rebase should be trivial