2018-04-11 18:42:03 +00:00
|
|
|
From 93018f5d1727eb58dead129f150a36080c22530a Mon Sep 17 00:00:00 2001
|
2014-01-06 16:39:16 +00:00
|
|
|
From: William Jon McCann <william.jon.mccann@gmail.com>
|
|
|
|
Date: Fri, 7 Jun 2013 10:52:32 -0400
|
2018-05-10 15:48:20 +00:00
|
|
|
Subject: [PATCH 103/238] Use the standard margin for the timeout string
|
2014-01-06 16:39:16 +00:00
|
|
|
|
|
|
|
So that it aligns with the other messages
|
|
|
|
---
|
|
|
|
grub-core/normal/menu_text.c | 6 +++---
|
|
|
|
1 file changed, 3 insertions(+), 3 deletions(-)
|
|
|
|
|
|
|
|
diff --git a/grub-core/normal/menu_text.c b/grub-core/normal/menu_text.c
|
2018-02-27 18:56:41 +00:00
|
|
|
index 1ed2bd92cf8..7681f7d2893 100644
|
2014-01-06 16:39:16 +00:00
|
|
|
--- a/grub-core/normal/menu_text.c
|
|
|
|
+++ b/grub-core/normal/menu_text.c
|
2015-07-22 13:44:51 +00:00
|
|
|
@@ -372,7 +372,7 @@ grub_menu_init_page (int nested, int edit,
|
2014-01-06 16:39:16 +00:00
|
|
|
if (bottom_message)
|
|
|
|
{
|
|
|
|
grub_term_gotoxy (term,
|
|
|
|
- (struct grub_term_coordinate) { GRUB_TERM_MARGIN,
|
|
|
|
+ (struct grub_term_coordinate) { STANDARD_MARGIN,
|
|
|
|
geo->timeout_y });
|
|
|
|
|
|
|
|
print_message (nested, edit, term, 0);
|
2015-07-22 13:44:51 +00:00
|
|
|
@@ -407,14 +407,14 @@ menu_text_print_timeout (int timeout, void *dataptr)
|
2014-01-06 16:39:16 +00:00
|
|
|
if (data->timeout_msg == TIMEOUT_UNKNOWN)
|
|
|
|
{
|
|
|
|
data->timeout_msg = grub_print_message_indented_real (msg_translated,
|
|
|
|
- 3, 1, data->term, 1)
|
|
|
|
+ STANDARD_MARGIN, 1, data->term, 1)
|
|
|
|
<= data->geo.timeout_lines ? TIMEOUT_NORMAL : TIMEOUT_TERSE;
|
|
|
|
if (data->timeout_msg == TIMEOUT_TERSE)
|
|
|
|
{
|
|
|
|
grub_free (msg_translated);
|
|
|
|
msg_translated = grub_xasprintf (_("%ds"), timeout);
|
|
|
|
if (grub_term_width (data->term) < 10)
|
|
|
|
- data->timeout_msg = TIMEOUT_TERSE_NO_MARGIN;
|
|
|
|
+ data->timeout_msg = STANDARD_MARGIN;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
--
|
2018-05-10 15:48:20 +00:00
|
|
|
2.17.0
|
2014-01-06 16:39:16 +00:00
|
|
|
|