I had sent the patch in comment 15 to grub mailing list http://lists.gnu.org/archive/html/grub-devel/2013-09/msg00053.html. There were some comments on it and this patch is rejected. After discussing, the maintaner wants to use the patch in comment 14.
Franz Hsieh sent one update patch to the upstream at http://lists.gnu.org/archive/html/grub-devel/2013-10/msg00070.html and I sent one ping email to upstream at http://lists.gnu.org/archive/html /grub-devel/2013-11/msg00029.html. But still no response from the upstream. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1178618 Title: --hotkey option does not work when the menu is hidden To manage notifications about this bug go to: https://bugs.launchpad.net/grub/+bug/1178618/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs