Vladimir Testov b47434612c * docs/grub.texi: Introduce terminal window position options: ... terminal-left: terminal window's left position terminal-top: terminal window's top position terminal-width: terminal window's width terminal-height: terminal window's height * grub-core/gfxmenu/theme-loader.c: Likewise. * include/grub/gfxmenu_view.h: Likewise. * po/exlude.pot: Likewise. * grub-core/gfxmenu/view.c: Likewise. Also updated minimal window size. Also terminal_sanity_check function has been introduced.		2013-08-08 12:55:24 +04:00
..
man	* docs/man/grub-glue-efi.h2m: Add missing file.	2013-04-13 02:26:34 +02:00
fdl.texi	2008-03-01 Yoshinori K. Okuji <okuji@enbug.org>	2008-03-01 17:27:51 +00:00
font_char_metrics.png	GRUB developper manual based on existing Internals section and	2011-04-03 15:30:28 +02:00
font_char_metrics.txt	GRUB developper manual based on existing Internals section and	2011-04-03 15:30:28 +02:00
grub-dev.texi	* docs/grub-dev.texi: Rearrange menu to match the section order.	2013-04-14 19:07:55 +02:00
grub.cfg	* docs/grub.cfg: Update.	2012-05-04 00:30:15 +02:00
grub.texi	* docs/grub.texi: Introduce terminal window position options:	2013-08-08 12:55:24 +04:00
Makefile.am	Fix make dist.	2012-02-28 12:58:57 +01:00
mdate-sh	2008-03-01 Yoshinori K. Okuji <okuji@enbug.org>	2008-03-01 17:27:51 +00:00
texinfo.tex	remove all trailing whitespace	2009-06-10 21:04:23 +00:00