Firebug 3 is integrated in Firefox as a theme for the DevTools starting > from version 48. So there is no need anymore to install it separately. Just > go to the DevTools settings and under *Themes* you can switch to the > *Firebug* theme. >
Got it. Thx. > The font size there can be increased with Ctrl++, decreased with Ctrl+- > and reset with Ctrl+0 while the DevTools are focused. > Yep, works. Not ideal, IMO. All the fonts scale up or down *together* (is there an alternative?), so you either end up with some interface fonts too small, or others too large. Is this CSS-stylable somewhere? I'd like to set my preferred-defaults -- for each 'section' of the Tools' interface -- and leave it at that. -- 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 https://groups.google.com/group/firebug. To view this discussion on the web visit https://groups.google.com/d/msgid/firebug/130fbd46-3512-4bfd-bd14-fea5f5986287%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
