On Sun, Jun 01, 2003 at 08:39:30PM +0300, Oleg Goldshmidt wrote: > * Pull down Edit->Preferences > Note that I have no idea whether Mozilla will only pay attention to > the MIME type and not to the particular extension, and will try to > open every gzipped file with gv... Just thought I should warn you.
I guess I should have been more elaborate afterall - this is exactly what bothered me, since I would have liked mozilla to "peal" the gzip and then continue with its MIME tricks. and I still does. -- Dan Kenigsberg http://www.cs.technion.ac.il/~danken ICQ 162180901 ================================================================= To unsubscribe, send mail to [EMAIL PROTECTED] with the word "unsubscribe" in the message body, e.g., run the command echo unsubscribe | mail [EMAIL PROTECTED]
