grub2/0035-Indent-menu-entries.patch

27 lines
820 B
Diff
Raw Normal View History

2020-07-29 20:47:36 +08:00
From 7d70ca36c17e14361284f986e4c62e6523bf6b98 Mon Sep 17 00:00:00 2001
2019-09-30 10:52:04 -04:00
From: William Jon McCann <william.jon.mccann@gmail.com>
Date: Fri, 7 Jun 2013 14:30:55 -0400
2020-07-29 20:47:36 +08:00
Subject: [PATCH 035/220] Indent menu entries
2019-09-30 10:52:04 -04:00
---
grub-core/normal/menu_text.c | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/grub-core/normal/menu_text.c b/grub-core/normal/menu_text.c
2020-07-29 20:47:36 +08:00
index 1062d64..ecc60f9 100644
2019-09-30 10:52:04 -04:00
--- a/grub-core/normal/menu_text.c
+++ b/grub-core/normal/menu_text.c
@@ -239,7 +239,8 @@ print_entry (int y, int highlight, grub_menu_entry_t entry,
unicode_title[i] = ' ';
if (data->geo.num_entries > 1)
- grub_putcode (' ', data->term);
+ for (i = 0; i < STANDARD_MARGIN; i++)
+ grub_putcode (' ', data->term);
grub_print_ucs4_menu (unicode_title,
unicode_title + len,
2020-07-29 20:47:36 +08:00
--
1.8.3.1