From: Chris C. <ca...@al...> - 2003-05-09 08:46:27
|
Guillaume Laurent wrote: > On Friday 09 May 2003 02:18, Larry Troxler wrote: > >>Please just tell me how to turn off the compression in the first place! > > At the moment you can't. I'm not sure how that would be of any use. For .rg files saved in the usual way, I think compression is rather essential because the uncompressed versions can easily become so huge. For autoload files though, Larry has a good point. They're unlikely to become unworkably large and they're more likely to be edited by hand. Actually I have a vague feeling we may have discussed this before and ended up deciding to keep them compressed just because we were lazy and it was slightly easier to use the same code (especially for loading). But I'm not at all sure. Chris |