Hi Paul,
On 8/23/22 17:01, Paul Menzel wrote:
> Dear GRUB folks,
>
>
> Trying to navigate the GRUB menu on a HiDPI display (GOP driver), in this
> case a Dell XPS 13 9370, the cursor response is quite lagging. Especially in
> the edit mode (c) moving around a line is quite slow. Each step take
> On 23. Aug 2022, at 18:01, Paul Menzel wrote:
>
> Dear GRUB folks,
>
>
> Trying to navigate the GRUB menu on a HiDPI display (GOP driver), in this
> case a Dell XPS 13 9370, the cursor response is quite lagging. Especially in
> the edit mode (c) moving around a line is quite slow. Each st
Dear GRUB folks,
Trying to navigate the GRUB menu on a HiDPI display (GOP driver), in
this case a Dell XPS 13 9370, the cursor response is quite lagging.
Especially in the edit mode (c) moving around a line is quite slow. Each
step takes, I’d say, half a second.
Using a font with a bigger s
