On Fri, Mar 13, 2020 at 08:15:02PM +0100, Javier Martinez Canillas wrote:
> From: Hans de Goede
>
> On some devices the ESC key is the hotkey to enter the BIOS/EFI setup
> screen, making it really hard to time pressing it right. Besides that
> ESC is also pretty hard to discover for a user who doe
On 3/13/20 8:15 PM, Javier Martinez Canillas wrote:
> From: Hans de Goede
>
> On some devices the ESC key is the hotkey to enter the BIOS/EFI setup
> screen, making it really hard to time pressing it right. Besides that
> ESC is also pretty hard to discover for a user who does not know it
> will
From: Hans de Goede
On some devices the ESC key is the hotkey to enter the BIOS/EFI setup
screen, making it really hard to time pressing it right. Besides that
ESC is also pretty hard to discover for a user who does not know it
will unhide the menu.
This commit makes F4, which used to be the hot