Thanks for the tip, Tony (and sorry for the delay in your comment appearing – for some reason Akismet flagged it as spam). I’ve moved my dock to the left of the screen, but I could still see this being useful.