On 2017-08-20, at 4:19 AM, Erik Krause <erik.kra...@gmx.de> wrote: > Am 20.08.2017 um 03:32 schrieb Michael: >>>> NB: Firefox developer tools is not an acceptable substitute. Far >>>> too often, it will refuse to show anything in the CSS of a >>>> webpage -- it insists that there are no CSS rules in effect at >>>> all. > >>> This sounds like a bug, which I didn't experience so far. If you >>> can break this down to a simple test case, you should file a bug >>> report for that. Please CC me when you do so, so I can follow it. > >> Simple test case? So far, it's random -- about 70% of the time. Yes, >> it's very common for me, but it also goes away with a restart, and >> shows up from an unknown trigger. > > Never experienced anything like that. Could it have to do with another > extension? Did you try in a fresh FF profile?
Did not consider other extensions. Did not try a fresh profile. As far as I know, only Firebug prevents starting up in multi-process mode, so I figured none of the others would cause problems. > > -- > Erik Krause > > -- > You received this message because you are subscribed to the Google Groups > "Firebug" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to firebug+unsubscr...@googlegroups.com. > To post to this group, send email to firebug@googlegroups.com. > Visit this group at https://groups.google.com/group/firebug. > To view this discussion on the web visit > https://groups.google.com/d/msgid/firebug/d1aa4b79-f16a-9a84-1952-50a80c00772e%40gmx.de. > For more options, visit https://groups.google.com/d/optout. --- Entertaining minecraft videos http://YouTube.com/keybounce -- You received this message because you are subscribed to the Google Groups "Firebug" group. To unsubscribe from this group and stop receiving emails from it, send an email to firebug+unsubscr...@googlegroups.com. To post to this group, send email to firebug@googlegroups.com. Visit this group at https://groups.google.com/group/firebug. To view this discussion on the web visit https://groups.google.com/d/msgid/firebug/98D1B81A-FFB2-4776-AEAF-E1BD92421BD1%40gmail.com. For more options, visit https://groups.google.com/d/optout.
