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

[Colin Watson]

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