Follow-up Comment #1, bug #51914 (project grub):
[comment #0 original submission:]
> Another option would be to use the EDID information to set an environment
variable with the current DPI.
I have come across this same issue. I'd like to write grub.cfg files that can
be responsive to different monitors - selecting fonts size & possibly themes
based on the DPI or simply the framebuffer width/height.
I support the environment variable idea, perhaps videoinfo could take a
'--set' option, like the 'search' command does, to make the information
available to my script.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?51914>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
