It suits my workflow as well, so it was definitely welcome, and it makessense in the context of the extension. Pushed to master, thanks a lot!Giovanni
Hi Giovanni ! Thanks for both pushes !What do you think of spliting the workspace management part of the extension ?
Cheers, Thomas
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-shell-list
