Follow-up Comment #4, bug #38929 (project grub):
I have a patch somewhere which progressively simplifies menu when screen is
too small. Changing font is troublesome since menu rendering and terminal are
different layers abstracted from each other. And similar problem may happen
with other terminals as well.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?38929>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-grub mailing list
Bug-grub@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-grub
