grub/docs
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
font_char_metrics.png
font_char_metrics.txt
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
texinfo.tex