Right. That is what I will be doing. - Marc
On Wed, Jun 28, 2023, 5:27 PM Dima Pasechnik <[email protected]> wrote: > One can always start a web server on localhost, instead of using file:/// > :P > > On Wed, Jun 28, 2023 at 11:16 PM Michael Orlitzky <[email protected]> > wrote: > > > > On Wed, 2023-06-28 at 13:50 -0400, Michael Orlitzky wrote: > > > > > > * gzipped SVG doesn't work over the file:/// protocol in my firefox. > > > This hasn't been a big enough problem for me yet to diagnose it, > > > so I can't say how serious a problem it is. (I'll play around later > > > today.) > > > > Firefox bug opened 23 years ago: > > > > https://bugzilla.mozilla.org/show_bug.cgi?id=52282 > > > > > > > > If they were going to fix it, it'd be fixed, so I'd suggest doing the > > comparison uncompressed. A lot of people (statistics all made up) read > > the docs locally with firefox. > > > > -- > > You received this message because you are subscribed to the Google > Groups "sage-devel" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to [email protected]. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/28b1bd234f8a344062c0bd103dd53760ff24c693.camel%40orlitzky.com > . > > -- > You received this message because you are subscribed to a topic in the > Google Groups "sage-devel" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/sage-devel/a5t3mFJNMDI/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/CAAWYfq1Y5_EK0NhjmuzDkC8hvNC5Rg7zchiYAB7kMi2r2i_RkA%40mail.gmail.com > . > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CALcZXRErT3wwEHkjM21N_8gKyfUuOg7G4%3DhZFbVnSSwJT1h%2BtA%40mail.gmail.com.
