[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #51914] Dynamic font size selection based on DPI
From: |
Darrin Smart |
Subject: |
[bug #51914] Dynamic font size selection based on DPI |
Date: |
Wed, 20 Jan 2021 02:03:31 -0500 (EST) |
User-agent: |
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_6) AppleWebKit/605.1.15 (KHTML, like Gecko) Version/14.0.2 Safari/605.1.15 |
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/
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [bug #51914] Dynamic font size selection based on DPI,
Darrin Smart <=