Is there a way to tweak the alt-tab behaviour in Gnome Shell to prioritize the current workspace?  Currently, alt-tab prioritizes windows used most recently, instead of windows in the current workspace.I know how to restrict alt-tab to the current workspace, but I'm looking to prioritize the current workspace, not make it exclusive.  I found that the Coverflow extension does what I want - it has an option All workspaces, current first - but this extension removes the default application grouping behaviour, and does not offer an option to restore it.There is an identical question here and here, so not optimistic about finding a solution, but figured I'd ask just in case.  This used to be the default behaviour on Gnome Shell 3.4, so kinda surprised that there isn't a way to do that any more.
Gnome shell - alt-tab prioritize current workspace
gnome3;gnome shell;alt tab