Setup Mode/Setup/Layout Options/Page Setup presents a device for adjusting staff size, either by adjusting “space size” or “rastral” size.
Okay, I found the definition of rastral (German), rastrum (English) in Wikipedia, but in neither of my two standard dictionaries of musical terminology. I learned it’s actually the name of a 5-pronged tool used to draw staffs (or staves). So why not refer to the adjustment as “staff size”(which is what it’s called in the little info box.)? (Or at least show an arrow, as is done for the “space” definition.) Also, after some playing around, I couldn’t see much of a difference in adjusting either “space” or “rastral” size, since changing one changes the other. Any advice on which adjustment works better in practice? Space size does seem to offer more sensitivity.
By the way, I’ve found that either adjustment really helps alot to reduce the number of score/parts pages while preserving readability. This should definitely get into the Help file. (I will point out, however, that these adjustments don’t always treat each page in the same way, sometimes leading to one page having much fewer staves than another. Perhaps the code could be refined to take that into account.)