Follow-up Comment #3, bug #48646 (project grub):
If that's not possible, maybe it's enough to enable mouse support. Seems like
Andrei Borzenkov has some ideas how this could be implemented, but doesn't
have the contacts for the relevant GRUB code:
https://lists.gnu.org/archive/html/help-grub/2016-07/msg00013.html
https://lists.gnu.org/archive/html/grub-devel/2015-06/msg00098.html
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?48646>
_______________________________________________
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
