Am 21.10.21 um 20:32 schrieb Ulf Zibis:
Am 21.10.21 um 19:57 schrieb Andrei Borzenkov:
This sounds like a bug. Command "configfile" starts with new empty menu;
so any reference to previous menu entry is by definition invalid. It
should clear $chosen as well at the same time.
I think, not "configfile" should clear $chosen, as I understand it as "include".
Even without "configfile" we have 2 situations:
menuentry AAA {
menuentry BBB {
}
}
or:
submenu AAA {
menuentry BBB {
}
}
So the logic could be, that "menuentry" should clear $chosen if not enclosed from
"submenu".
What you think?
I finally reported a bug on this issue: https://savannah.gnu.org/bugs/?61368
-Ulf
