> since the theme author will already
> appreciate what spacing works/doesn't work, for that specific device,
> for that specific theme.

But then the theme author would include the padding setting into the
theme's CFG file, right?

Including this new feature (if it gets committed) we would have three
ways to change line spacing:

1. Skinned lists (very flexible, but much work and learning)
2. The new setting (less flexible, but quickly does what's needed)
3. Generating a font with the desired ascents/descents (much work,
    not flexible)
Received on 2011-10-08