[bug #51914] Dynamic font size selection based on DPI

[Darrin Smart]

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/