On 10/05/12 12:13, Alex Merry wrote: > Thanks. I've applied all your suggestions to the scratch repo. I'll > probably commit to kde-workspace and kdeplasma-addons tomorrow morning, > I imagine (or whenever I'm next on my home computer). Done.