Hi,
I noticed that, /font/manager.c:51:
file = grub_file_open (filename);
so, we can only use pure font file, this will need more than 1MB bytes for
font file, and more time to load it into memory.
well, how about change it to:
file = grub_gzfile_open (filename, 1);
Best Regards!_______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
