Bugzilla

From Bug 1520205:

(In reply to El Stellino from Bug 1520205 comment #0)

> User Agent: Mozilla/5.0 (X11; Linux x86_64; rv:64.0) Gecko/20100101 Firefox/64.0
> 
> Steps to reproduce:
> 
> Just press F12.
> If you are not a developer, like probably 95% of the internet users worldwide, you ended up pressing it by mistake.
> 
> 
> Actual results:
> 
> Of course, it opens the developers’ toolbox, because everyone’s a developer, no?
> 
> 
> Expected results:
> 
> The idea would be that if F12 is pressed, nothing happens. 
> 
> Come on, who’s been so dim in thinking that a single keystroke to open something that halves the window in height was a good idea?
> I know it’s been like that since Internet Explorer 1 or something, but isn’t it time to change? 
> 
> How about a second level keystroke like Shift+F12? How about, even better, shipping firefox without it? Developers would surely know their way round to install it as an addon… 
> Or if not possible, to at least have the chance of switching it on/off (and set on "off" by default), to avoid this daily nuisance to all the millions of browsers users that aren’t developers (and who perhaps aren’t that "advanced" to arrive here to ask its removal).
>  
> Before submitting, I’ve just checked: Ctrl+Shift+I has the exact same behaviour of F12. What’s the use of F12? can it be removed altogether, then?
> Also, I used to use this solution, that no longer works: modifying in about:config the string devtools.toolbox.host to "null", but now it comes back to the "bottom" value as soon as I press F12, as it evidently invokes and shows it.
> And I’ve just checked, ALL devtools.*.enabled strings are set on "false" and yet this die‑hard bugger doesn’t disappear.

From Bug 1520205:

(In reply to El Stellino from Bug 1520205 comment #0)

> User Agent: Mozilla/5.0 (X11; Linux x86_64; rv:64.0) Gecko/20100101 Firefox/64.0
> 
> Steps to reproduce:
> 
> Just press F12.
> If you are not a developer, like probably 95% of the internet users worldwide, you ended up pressing it by mistake.
> 
> 
> Actual results:
> 
> Of course, it opens the developers’ toolbox, because everyone’s a developer, no?
> 
> 
> Expected results:
> 
> The idea would be that if F12 is pressed, nothing happens. 
> 
> How about a second level keystroke like Shift+F12? How about, even better, shipping firefox without it? Developers would surely know their way round to install it as an addon… 
> Or if not possible, to at least have the chance of switching it on/off (and set on "off" by default), to avoid this daily nuisance to all the millions of browsers users that aren’t developers (and who perhaps aren’t that "advanced" to arrive here to ask its removal).
>  
> Before submitting, I’ve just checked: Ctrl+Shift+I has the exact same behaviour of F12. What’s the use of F12? can it be removed altogether, then?
> Also, I used to use this solution, that no longer works: modifying in about:config the string devtools.toolbox.host to "null", but now it comes back to the "bottom" value as soon as I press F12, as it evidently invokes and shows it.
> And I’ve just checked, ALL devtools.*.enabled strings are set on "false" and yet this die‑hard bugger doesn’t disappear.

An overall comment about shipping DevTools as an addon. We really tried but it's not possible in our current situation.  Disabling devtools by default is also on the roadmap, but not being worked on at the moment.