* There are mentions of 'viewports' in other sections of the patch - like "desktop wall" - should these be changed to 'workspaces' too?
* You can link to the gnome workspace documentation in yelp by making a link to "ghelp:user-guide#workspaces" (may need to test that - there's other examples in the documentation)
Hi Michael,
Couple more things:
* There are mentions of 'viewports' in other sections of the patch - like "desktop wall" - should these be changed to 'workspaces' too? user-guide# workspaces" (may need to test that - there's other examples in the documentation)
* You can link to the gnome workspace documentation in yelp by making a link to "ghelp:
Thanks for your work,
Dean