Lagging cursor in GRUB menu with HiDPI display

[Paul Menzel]

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 size, it’s still reproducible.

Is that a known problems, and do you know of workarounds?


Kind regards,

Paul