On Thursday, March 9, 2017 at 8:12:41 AM UTC+1, San wrote: > > AFAIK, Firebug's minimize button was more than simply an alternative to > f12. Firebug was capable of running in the background even when it had no > windows showing >
Pressing F12 while Firebug was open minimized it (letting Firebug run in the background) just like the minimize button did. > and I seem to vaguely remember it could even show a "badge" on the icon > (button) with a numeral warning of errors in the current web page. > That badge was shown whenever Firebug was activated, independently of whether it was minimized. The DevTools have this feature in their Developer Toolbar <https://developer.mozilla.org/en-US/docs/Tools/Migrating_from_Firebug#Display_of_error_count> . > (Or am I confusing it with some other tool I used?) Also the icon would > turn gray if all the panels were disabled, or orange if at least one panel > was enabled (in the background) and keeping track of something. > I've mentioned that in the bug <https://bugzilla.mozilla.org/show_bug.cgi?id=1178218#c3>. > OTOH, the Firefox DevTools seem to be completely turned off if they aren't > displaying any windows. > Correct. > If that's correct, would adding a Dock button ("Dock" is MacOS toolbar) > mean that the DevTools were always on in the background -- for example to > keep track of errors, network activity, reflows, etc. -- for example, > writing to the Console even though no panel was showing -- or would it > simply be a static button to turn the DevTools "On" + open a window? That > seems like two very different things. > I don't use MacOS, but minimizing means to keep them on in the background. But please let's rather discuss such things in the related bug report(s). Sebastian -- 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/f79dd1b9-e1e0-417a-a194-a23bbdf703f9%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
