Margin label

Adds ability to set the margin label to something other than "(all)". It's a minor thing, but it's something I've wished for for a while.