В Mon, 22 Dec 2014 10:53:56 -0500 Joel Heaton <[email protected]> пишет:
> Is there any way to change the size of the menu box instead of the full > screen menu? I'm not sure what do you mean "instead of"? If you are using gfxterm, size of menu is defined by theme; you can redefine size of various elements. It is not possible to do dynamically; you need to provide definition of different theme. If you are not using gfxterm, IIRC grub hardcodes menu size - it is screen size without some fixed margins. There is no provision to change it currently. _______________________________________________ Help-grub mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-grub
