Re: [PATCH v2 2/3] Option to set title of submenus

2025-05-27 Thread Jiří 'bindiff' Wolker via Grub-devel
Why specifying the text as direct argument to menu entry not enough? menuentry "Title" { } Sometimes, you can want to have some additional information, such as menu entry hotkey, in the submenu title (i.e., its label in the parent menu). This would result in cluttered menu titles. Consider

Re: [PATCH v2 2/3] Option to set title of submenus

2025-05-27 Thread Vladimir 'phcoder' Serbinenko
Why specifying the text as direct argument to menu entry not enough? menuentry "Title" { } Regards Vladimir 'phcoder' Serbinenko Le mar. 27 mai 2025, 15:57, Jiří Wolker via Grub-devel a écrit : > --- > grub-core/commands/menuentry.c | 47 ++ > 1 file change

[PATCH v2 2/3] Option to set title of submenus

2025-05-27 Thread Jiří Wolker via Grub-devel
--- grub-core/commands/menuentry.c | 47 ++ 1 file changed, 47 insertions(+) diff --git a/grub-core/commands/menuentry.c b/grub-core/commands/menuentry.c index 720e6d8ea..c68afae38 100644 --- a/grub-core/commands/menuentry.c +++ b/grub-core/commands/menuentry.c @@