GNU GRUB - Bugs: bug #51914, Dynamic font size selection based...
You are not allowed to post comments on this tracker with your current authentication level.
bug #51914: Dynamic font size selection based on DPI
Submitter: | Preston Crow <pcrow> | ||
Submitted: | Fri 01 Sep 2017 07:20:49 PM UTC | ||
Category: | User Interface | Severity: | Major |
Priority: | 5 - Normal | Item Group: | Feature Request |
Status: | None | Privacy: | Public |
Assigned to: | None | Originator Name: | Preston Crow |
Open/Closed: | Open | Release: | 2.02 |
Release: | Reproducibility: | Every Time | |
Planned Release: | None |
Wed 20 Jan 2021 07:03:30 AM UTC, comment #1: |
Darrin Smart <darrinsmart> |
Fri 01 Sep 2017 07:20:49 PM UTC, original submission:
I have a laptop that is often connected to different external displays. Grub does a fine job of selecting the correct resolution (usually the maximum) and displaying my background image, but I don't seem to be able to configure it to select the appropriate size of font based on the DPI or screen resolution. The displays I use range from 96 DPI to 288 DPI, so no one font will look right everywhere.
|
Preston Crow <pcrow> |
No files currently attached
Depends on the following items: None found
Items that depend on this one: None found
There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.
Powered by Savane 3.13-d3ae.
Corresponding source code
original submission:
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.