Re: missing workflows with gnome-shell

[Thomas Bouffon <thomas bouffon gmail com>]

>
Okay, so now we have the same version and it works for both of us.
But I don't know if the Main._checkWorkspaces overriding should be inside this extension or be another standalone extension on which this one would depend. 
I mean, this could be an alternative for the people who are not at ease with the workspace collection ?
At work, many of my colleagues have a workspace for every distant machine, and some of them would be quite confused about these shuffling workspaces.
Maybe we could use boolean options like 'auto-collect empty workspaces surrounded by non-empty ones'  and  'auto-collect trailing empty workspaces' ?