Samuel Thibault, le lun. 08 oct. 2018 20:34:36 +0200, a ecrit:
> Samuel Thibault, le lun. 24 août 2015 18:00:40 +0200, a ecrit:
> > Screen DPI (at last!) gets bigger, and thus the font currently used by
> > grub becomes too small, making it very hard to read the boot menu.
>
> I now have a HiDPI
Control: severity -1 important
Hello,
Samuel Thibault, le lun. 24 août 2015 18:00:40 +0200, a ecrit:
> Screen DPI (at last!) gets bigger, and thus the font currently used by
> grub becomes too small, making it very hard to read the boot menu.
I now have a HiDPI display, and the font is now
Package: grub-pc-bin
Version: 2.02~beta2-26
Severity: normal
Hello,
Screen DPI (at last!) gets bigger, and thus the font currently used by
grub becomes too small, making it very hard to read the boot menu. Grub
should probably use bigger fonts nowadays, or at least have two font
sets ready for
3 matches
Mail list logo
