mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-23 15:49:23 +00:00
maximum of NW, N, NE heights instead of N's height and maximum of
NW, W, SW widths instead of W's width. (So the box will be always
correctly drawn)