3 ms·What Gnome extension was that? Sounds interesting, so I'd like to give it a try.by Vinnl 5y agoWhat Gnome extension was that? Sounds interesting, so I'd like to give it a try.nsonha 5y agohttps://extensions.gnome.org/extension/3675/maximize-to-next-workspace/ https://extensions.gnome.org/extension/3675/maximize-to-next...Vinnl 5y agoThanks!