In the setup I was using (Mac Firefox 22 with Theme Font & Size Changer, plus the previous version of Firebug), the problem absolutely did involve the interaction of those two extensions. I wasn't just guessing: I spent a lot of time testing, disabling different groups of extensions, and relaunched repeatedly to ensure I was right -- before I posted in this forum.
I've now updated Mac Firefox to version 23.0.1, which allowed me to update Firebug to the current version as well, and the problem seems to be basically resolved. However, the way Firebug shows me that one of those buttons is "pressed" is so subtle (a slight darkening/shadow), especially on my crummy auxiliary monitor where I normally keep the Firebug window, that it's hard to see whether it was pressed or not. There's also something strange: in the previous setup, if I disabled Theme Font & Size Changer, Firebug sometimes showed the pressed state with the darkening/shadow effect, or sometimes by turning the label white -- for the same buttons! Interestingly, the appearance of the pressed state in Windows 7 Firebug is completely different (a kind of outline box) and *much* clearer than in the Mac version. But then, Windows Firefox (and its extensions) has always worked better than the Mac version in numerous small ways. If anybody knows of a CSS selector for the pressed state of those Firebug buttons (Clear / Persist / Profile / etc.) that I can tweak in userChrome.css -- my original request -- I'd still like to know. Thanks for your help. On Wed, Sep 4, 2013 at 6:02 AM, Sebastian Zartner < [email protected]> wrote: > This problem doesn't seem to be related to Theme Font & Size Changer. > Please download Firebug > 1.12.1<https://addons.mozilla.org/firefox/addon/firebug/>, > which should have fixed > styling<http://code.google.com/p/fbug/issues/detail?id=6642> > . > Does that work for you? > > Sebastian > > > On Wednesday, September 4, 2013 1:20:38 AM UTC+2, Jonas wrote: >> >> Among the extensions I use in Mac Firefox are both Firebug and something >> called Theme Font & Size Changer. The latter extension is only slightly >> configurable. The problem is that it interferes with the proper display of >> the Firebug Console buttons (or maybe they're "tabs") -- I mean the ones >> that say Clear / Persist / Profile / All / Errors / Warnings / Info / Debug >> Info. >> >> The buttons still show up and work, but I can no longer tell whether one >> is enabled or not -- the "off" and "on" states look identical. Normally >> when one is "on", it turns white -- not what I would have chosen, but good >> enough to show what state it's in. >> >> Does anybody know of a CSS selector I could use in userChrome.css that >> would specifically target the "on" state of those Firebug buttons so that I >> could create an override for Theme Font & Size Changer? No guarantee it >> would work, but if I tag it "!important" it might. Thanks much. >> > -- > 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 [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/firebug. > To view this discussion on the web visit > https://groups.google.com/d/msgid/firebug/70e7311e-40a3-46a6-b281-fb2000aff2cf%40googlegroups.com > . > > For more options, visit https://groups.google.com/groups/opt_out. > -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/firebug. To view this discussion on the web visit https://groups.google.com/d/msgid/firebug/CAJ-Ow5D4BEOYmwwt8GcZbheRMUAVgtc9Tyrru5WaEwFRrVAJvw%40mail.gmail.com. For more options, visit https://groups.google.com/groups/opt_out.
