Closed Bug 1520205 Opened 6 years ago Closed 6 years ago

Proposal: creating a devtools invoking key combination, rather than the F12 single keystroke

Categories

(DevTools :: Framework, defect)

64 Branch
defect
Not set
normal

Tracking

(Not tracked)

RESOLVED DUPLICATE of bug 1439740

People

(Reporter: elstellino, Unassigned)

Details

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.

Component: Untriaged → Framework
Product: Firefox → DevTools

Thanks for the detailed feedback! The overall issue about having too many (and too easily accessible) shortcuts for devtools is already discussed in https://bugzilla.mozilla.org/show_bug.cgi?id=1439740. I will move your comment there and duplicate this bug.

Status: UNCONFIRMED → RESOLVED
Closed: 6 years ago
Resolution: --- → DUPLICATE

Reading the initial comment in more details, things such as "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?" is not really a great way to get a positive answer from maintainers.

ALL devtools.*.enabled strings are set on "false" and yet this die‑hard bugger doesn’t disappear.

You can set "devtools.policy.disabled" to true, and devtools will be completely inaccessible from your browser.

(In reply to Julian Descottes [:jdescottes] from comment #2)

Reading the initial comment in more details, things such as "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?" is not really a great way to get a positive answer from maintainers.

ALL devtools.*.enabled strings are set on "false" and yet this die‑hard bugger doesn’t disappear.

You can set "devtools.policy.disabled" to true, and devtools will be completely inaccessible from your browser.

Julian, thanks a lot for providing the trick that killed forever the developers’ tool box. I implemented it right away but then I forgot to reply.

The comment reported by you wasn’t referred to any of the mozilla developers/maintainers (of course), but to whoever in the 80s or 90s ingenuously decided it was a good idea. Perhaps the concept of browser was something for techies back then, but it’s no longer the case.
I am sorry you intended it in the wrong way, and I wrote it because… frustration.
Thanks again.

You need to log in before you can comment on or make changes to this bug.