3 ms·

Btw, for the tab behaviour - just go to https://extensions.gnome.org/extension/15/alternatetab/ https://extensions.gnome.org/extension/15/alternatetab/ in your

Btw, for the tab behaviour - just go to https://extensions.gnome.org/extension/15/alternatetab/ https://extensions.gnome.org/extension/15/alternatetab/ in your browser and click install. Gnome is configurable using the browser.

sathackr 8y ago
That's better, but I really got used to 16.04's method. It grouped the tasks, but a pause on the task group would open it and sub-subsequent alt-tabs would switch between windows inside the group.