package/boot/grub2/no-menu-border.patch

   1 # --- T2-COPYRIGHT-NOTE-BEGIN ---
   2 # This copyright note is auto-generated by ./scripts/Create-CopyPatch.
   3 #
   4 # T2 SDE: package/.../grub2/no-menu-border.patch
   5 # Copyright (C) 2017 The T2 SDE Project
   6 #
   7 # More information can be found in the files COPYING and README.
   8 #
   9 # This patch file is dual-licensed. It is available under the license the
  10 # patched project is licensed under, as long as it is an OpenSource license
  11 # as defined at http://www.opensource.org/ (e.g. BSD, X11) or under the terms
  12 # of the GNU General Public License as published by the Free Software
  13 # Foundation; either version 2 of the License, or (at your option) any later
  14 # version.
  15 # --- T2-COPYRIGHT-NOTE-END ---
  16
  17 --- grub-2.02//grub-core/normal/menu_text.c.orig        2017-12-12 20:24:14.354292996 +0100
  18 +++ grub-2.02//grub-core/normal/menu_text.c     2017-12-12 20:24:24.366293114 +0100
  19 @@ -334,7 +334,7 @@
  20    int empty_lines = 1;
  21    int version_msg = 1;
  22
  23 -  geo->border = 1;
  24 +  geo->border = 0;
  25    geo->first_entry_x = 1 /* margin */ + 1 /* border */;
  26    geo->entry_width = grub_term_width (term) - 5;
  27