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)

Reply via email to