[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [RFC][PATCH] Allow hotkeys to interrupt hidden menu

From: Colin Watson
Subject: Re: [RFC][PATCH] Allow hotkeys to interrupt hidden menu
Date: Thu, 28 Nov 2013 18:05:37 +0000
User-agent: Mutt/1.5.21 (2010-09-15)

On Thu, Nov 28, 2013 at 09:20:17PM +0400, Andrey Borzenkov wrote:
> Not only. If you hit ESC it will not "wait for input according to
> GRUB_TIMEOUT" - it will stop displaying menu.

No, that's not true in my tests.  If you hit Escape while a hidden
timeout is active and GRUB_TIMEOUT is non-zero, it'll display the menu.

If you can make this happen, please post a detailed test case.

> I'm not sure whether exposing menu but continuing count down is useful.
> We could let any other key (or specific key - SPACE?) do it.

I don't think it's very useful, which is why it isn't available in the
new GRUB_TIMEOUT + GRUB_TIMEOUT_STYLE interface; but it was exposed in
the old GRUB_HIDDEN_TIMEOUT + GRUB_TIMEOUT interface so I don't want to
break it entirely.

Colin Watson                                       address@hidden

reply via email to

[Prev in Thread] Current Thread [Next in Thread]