function load_video { if [ x$feature_all_video_module = xy ]; then insmod all_video else insmod efi_gop insmod efi_uga insmod ieee1275_fb insmod vbe insmod vga insmod video_bochs insmod video_cirrus fi } if [ -z "$GRUB_TERMINAL" ]; then font=${prefix}/fonts/unicode.pf2 if loadfont "$font"; then set gfxmode=auto load_video insmod gfxterm terminal_output gfxterm if [ -d ${prefix}/locale ]; then set locale_dir=${prefix}/locale insmod gettext fi insmod gfxmenu insmod jpeg insmod png if [ -f ${prefix}/themes/@grubtheme@/theme.txt ]; then set theme=${prefix}/themes/@grubtheme@/theme.txt; export theme fi set timeout_style=menu set menu_color_normal=white/black set menu_color_highlight=black/white set color_normal=white/black set color_highlight=black/white fi fi