4 ms·
How big are the developer tools compared to the rest of Firefox? 5% of the total size? 10%? Can't the more sophisticated tools be split into a separate extensi
by gioele 12y ago
How big are the developer tools compared to the rest of Firefox? 5% of the total size? 10%?
Can't the more sophisticated tools be split into a separate extension, leaving only some basic things in the distributed package?
- lucb1e 12y agoAs long as they don't impose any load while you're browsing without the tools opened, I see no reason to. And Chrome also includes them.
- agapos 12y agoDev Tools load on demand and do not affect casual browsing.
- riquito 12y agoThe addition of a "firebug like" tool has been made because having it not embedded was hurting Firefox adoption: removing it now would mean to forget the past.