> It looks correct. Did you try using GRUB_DEFAULT_BUTTON ? Sorry I am not using mainline and I can't do such a change right now.
_______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
