> > 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' ?
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-shell-list
