On Mon, 9 Sep 2013, Rodolfo García Peñas wrote:
- The Dock, Clip and Drawers are 'per-workspace', so are included in the workspace variable.
I don't get this. The Dock is the same for all workplaces but the clip isn't (at least the app icons attached to it are different on differrent work spaces). Why does it make sense to have a global clip instead of per workspace ones? I haven't tried drawers yet but I expect them to be different on different work spaces too. I haven't looked at the code, just trying to understand it conceptually.
Regards, BALATON Zoltan
