Blame SOURCES/0111-Fix-margins.patch

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