|
 |
0dc71c |
From a623d490ea6a94cc7db68400d3fea5b0c25ccb9c Mon Sep 17 00:00:00 2001
|
|
|
0dc71c |
From: William Jon McCann <william.jon.mccann@gmail.com>
|
|
|
0dc71c |
Date: Fri, 7 Jun 2013 14:59:36 -0400
|
|
|
0dc71c |
Subject: [PATCH 111/143] Fix margins
|
|
|
0dc71c |
|
|
|
0dc71c |
---
|
|
|
0dc71c |
grub-core/normal/menu_text.c | 8 +++-----
|
|
|
0dc71c |
1 file changed, 3 insertions(+), 5 deletions(-)
|
|
|
0dc71c |
|
|
|
0dc71c |
diff --git a/grub-core/normal/menu_text.c b/grub-core/normal/menu_text.c
|
|
|
0dc71c |
index 01b6f1c..ead3391 100644
|
|
|
0dc71c |
--- a/grub-core/normal/menu_text.c
|
|
|
0dc71c |
+++ b/grub-core/normal/menu_text.c
|
|
|
0dc71c |
@@ -333,17 +333,15 @@ grub_menu_init_page (int nested, int edit,
|
|
|
0dc71c |
int version_msg = 1;
|
|
|
0dc71c |
|
|
|
0dc71c |
geo->border = 0;
|
|
|
0dc71c |
- geo->first_entry_x = 0 /* margin */ + 0 /* border */;
|
|
|
0dc71c |
- geo->entry_width = grub_term_width (term) - 5;
|
|
|
0dc71c |
+ geo->first_entry_x = 0; /* no margin */
|
|
|
0dc71c |
+ geo->entry_width = grub_term_width (term) - 1;
|
|
|
0dc71c |
|
|
|
0dc71c |
- geo->first_entry_y = 2 /* two empty lines*/
|
|
|
0dc71c |
- + 0 /* GNU GRUB version text */ + 1 /* top border */;
|
|
|
0dc71c |
+ geo->first_entry_y = 3; /* three empty lines*/
|
|
|
0dc71c |
|
|
|
0dc71c |
geo->timeout_lines = 2;
|
|
|
0dc71c |
|
|
|
0dc71c |
/* 3 lines for timeout message and bottom margin. 2 lines for the border. */
|
|
|
0dc71c |
geo->num_entries = grub_term_height (term) - geo->first_entry_y
|
|
|
0dc71c |
- - 1 /* bottom border */
|
|
|
0dc71c |
- 1 /* empty line before info message*/
|
|
|
0dc71c |
- geo->timeout_lines /* timeout */
|
|
|
0dc71c |
- 1 /* empty final line */;
|
|
|
0dc71c |
--
|
|
|
0dc71c |
1.9.3
|
|
|
0dc71c |
|