[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #51914] Dynamic font size selection based on DPI
From: |
Preston Crow |
Subject: |
[bug #51914] Dynamic font size selection based on DPI |
Date: |
Fri, 1 Sep 2017 15:20:51 -0400 (EDT) |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/61.0.3163.59 Safari/537.36 |
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/
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [bug #51914] Dynamic font size selection based on DPI,
Preston Crow <=