why not support gzipped font file?

2008-05-31 Thread y.volta
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 =

Re: why not support gzipped font file?

2008-05-31 Thread Colin D Bennett
On Sun, 1 Jun 2008 10:50:05 +0800 y.volta [EMAIL PROTECTED] wrote: 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