Jan Claeys wrote:
> Line height is usually not configurable in a terminal, and for
> characters in e.g. the "Box Drawing" & "Block Elements" ranges there is
> also the issue that they need to connect.  That's probably why the
> different styles exist?  (I didn't check if they actually do that.)

Yes, probably. But since none of the common font choosers allow to select
a line spacing variant specifically, I see no reason to include each font
(variant) five times because of this.

> I wonder if it would be better to build them on-demand, using debconf
> to select what variant(s) is/are wanted...  But then you'd need all the
> dependencies to build them installed to use the font, of course.

There is no way we confront users with a debconf question about which
variant to compile upon package installation. This is not Gentoo. ;)

 - Fabian

Reply via email to