vertical spacing: Rename dimensions.

vertical spacing: Rename dimensions.

[Mark Polesky, 2010-10-14 06:53:45]

Sorry this took so long.  I uploaded all 6 commits
as separate patch sets so it's easier to review.
Patch set 7 combines all the changes into one set.

Okay to push?
- Mark

[Mark Polesky, 2010-10-16 16:00:27]

Would anyone like to look over this or shall
I just push it?  It compiles fine, but I just
assumed someone would want to double-check
it, considering all the debate this topic has
generated recently.

- Mark

[Trevor Daniels, 2010-10-16 20:38:22]

Looks ok to me, although I haven't tried committing it.

Let's push it and move on to trying it out.  That
might generate more comment.

BTW, I don't see these (old) \paper block variables in
the IR.  Are they not there or have I missed them?
It would be useful for anyone starting to adjust
these to know what the default values are, or maybe
more accurately how they are derived.

Trevor

[Graham Percival (old account), 2010-10-17 17:20:31]

LGTM, and compiles cleanly from scratch.