#718344 GRUB_DEFAULT vs. submenus

Package:
grub2-common
Source:
grub2
Description:
GRand Unified Bootloader (common files for version 2)
Submitter:
Date:
2013-07-30 15:30:07 UTC
Severity:
normal
#718344#5
Date:
2013-07-30 14:37:03 UTC
From:
To:
On # (info "(grub) Simple configuration") there is mentioned

`GRUB_DEFAULT'
     The default menu entry.  This may be a number, in which case
     it...

The problem is that it does not mention how it works in the case of
submenus,

(info "(grub) submenu")

or Debian's submenus, which by the way there is no simple way to turn off.