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

[Andrey Borzenkov <arvidjaar@gmail.com>]

В Thu, 28 Nov 2013 18:05:37 +0000
Colin Watson <cjwatson@ubuntu.com> пишет:

> 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.
> 

Oh, sorry for my English, I see where confusion is. I meant "it will
display menu and stay there indefinitely". But documentation says "it
will display the menu and wait for input according to `GRUB_TIMEOUT'"
which is wrong because timeout is already canceled at this point.

> 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.
> 

Anyway it is trivial to add if anyone complaints.

Thank you!