Bug#746966: HiDPI support

[Samuel Thibault <sthibault@debian.org>]

Hello,

Diego Escalante Urrelo, le mar. 04 août 2020 17:39:34 -0500, a ecrit:
> I was trying to figure out how to fix this

Mmm, actually this should already be fixed, in the context of
#910227. In the latest images we just keep the grub resolution, which in
my tests is fine. That's lazy of course, but that's more long-term-prone
than tryine a 16x32 font, which sooner or later will again be too small.

For the installed system itself, please see #816111 to have a larger set
of font variants, to be able to rather let the user choose the number of
rows/columns, rather than having to guess which font size would be
readable.

Samuel