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

[Preston Crow]

URL:
  <http://savannah.gnu.org/bugs/?51914>

                 Summary: Dynamic font size selection based on DPI
                 Project: GNU GRUB
            Submitted by: pcrow
            Submitted on: 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
        Originator Email: 
             Open/Closed: Open
         Discussion Lock: Any
                 Release: 
                 Release: 2.02
         Reproducibility: Every Time
         Planned Release: None

    _______________________________________________________

Details:

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.

I looked into manually modifying my grub.cfg.  While the 'videoinfo' command
will tell me what the resolution is, it doesn't appear that there's any way to
capture the output of that command into a variable that I could then parse and
test.  I would think I could make this work if grub had support for BASH-like
syntax: VAR_NAME=$( videoinfo )

Another option would be to use the EDID information to set an environment
variable with the current DPI.




    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?51914>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/