rkus Scholz
Cc: The development of GNU GRUB
Betreff: Re: AW: AW: Adding --set to videoinfo to retrieve current video
resolution
Hi,
On 2022/12/12 19:09, Markus Scholz wrote:
> Hi,
>
> thank you again for your reply and explanation. Despite the different
> focus, I am still looking fo
2022/12/6 22:17, Markus Scholz wrote:
> > Hi Zhang,
> >
> > now I need to apologize for my very late reply.. sorry!
> > I saw that you also went ahead as you said with committing the highdpi
> patches.
> >
> > Anyways, regarding the high DPI question:
> >
Hi, here is my attempt to provide the patch using git format-patch and git
send-mail.
This extends the videoinfo module to provide a --set argument
which contains the currently active video resolution.
Documentation could be extended as follows:
Command: videoinfo [--set var | [WxH]xD]
Retrie
---
grub-core/commands/videoinfo.c | 92 +++---
1 file changed, 63 insertions(+), 29 deletions(-)
diff --git a/grub-core/commands/videoinfo.c b/grub-core/commands/videoinfo.c
index 5eb969748..75e3b4e9f 100644
--- a/grub-core/commands/videoinfo.c
+++ b/grub-core/command
g
Im Auftrag von Zhang Boyang
Gesendet: Montag, 7. November 2022 08:56
An: Markus Scholz ; grub-devel@gnu.org
Cc: phco...@gmail.com; pmen...@molgen.mpg.de; 'Daniel Kiper'
Betreff: Re: AW: Adding --set to videoinfo to retrieve current video resolution
Hi,
Sorry for late reply... I think
ank you
Markus
-Ursprüngliche Nachricht-
Von: Daniel Kiper
Gesendet: Donnerstag, 20. Oktober 2022 19:36
An: Markus Scholz
Cc: grub-devel@gnu.org; phco...@gmail.com; pmen...@molgen.mpg.de;
zhangboyang...@gmail.com
Betreff: Re: Adding --set to videoinfo to retrieve current video resolution
Adding
Dear Grub Developers,
recently we faced the problem the author in this old thread faced:
- https://lists.gnu.org/archive/html/grub-devel/2012-10/msg9.html
Ie. our theme wouldn't display properly due to different screen resolutions.
Hence, I wanted to change specifically the font size of our t
