Ce site disposera de fonctionnalités limitées pendant que nous effectuons des opérations de maintenance en vue de vous proposer un meilleur service. Si un article ne règle pas votre problème et que vous souhaitez poser une question, notre communauté d’assistance est prête à vous répondre via @FirefoxSupport sur Twitter, et /r/firefox sur Reddit.

Avatar for Username

Rechercher dans l’assistance

Évitez les escroqueries à l’assistance. Nous ne vous demanderons jamais d’appeler ou d’envoyer un SMS à un numéro de téléphone ou de partager des informations personnelles. Veuillez signaler toute activité suspecte en utilisant l’option « Signaler un abus ».

En savoir plus

Ce sujet de discussion a été archivé. Veuillez poser une nouvelle question si vous avez besoin d’aide.

How can I disable the DevTools that pops up from pressing F12?

  • 3 réponses
  • 1 a ce problème
  • 1 vue
  • Dernière réponse par user633449

Elektronijaenis
Elektronijaenis
more options

There is very good reason for wanting to disable the devtools: On many keyboards it is very easy to press F12 when trying to press F12. That causes devtools to come up and hog half of the screen space and take the cursor of the text field you were editing. That can be quite annoying.

To add to the insult, the DevTools is something that is only needed if you develop websites. Regular users don't need it. Quite a lot of people are annoyed by it (Just google up "firefox disable F12" and see. It is counterintuitive to install a plugin just to remove a function that very few people need and that many people are annoyed by.

Or is Firefox mainly made for web developers and other people should just use something else?

There is very good reason for wanting to disable the devtools: On many keyboards it is very easy to press F12 when trying to press F12. That causes devtools to come up and hog half of the screen space and take the cursor of the text field you were editing. That can be quite annoying. To add to the insult, the DevTools is something that is only needed if you develop websites. Regular users don't need it. Quite a lot of people are annoyed by it (Just google up "firefox disable F12" and see. It is counterintuitive to install a plugin just to remove a function that very few people need and that many people are annoyed by. Or is Firefox mainly made for web developers and other people should just use something else?

Toutes les réponses (3)

user633449
user633449
more options

F keys have been tied to special functions since the beginning of Software, and F12 is no exception. I don't see anything wrong with this behavior, you accidentally hit the wrong key, something happens. It's no more wrong than when you are typing and you accidentally hit "a" instead of "s".

Now, if you want to fully remove devtools, that's another problem altogether. It's not currently supported in current versions of Firefox, but may be in the future. In the meantime I'm pretty sure you can install an add-on to disable devtools.

Elektronijaenis
Elektronijaenis Auteur de la question
more options

That's pretty much what I expected you to answer.

Yes... I could install a plugin for it. Or then I can just install another browser.

I know several people who are annoyed by that F12 -function in FF (my wife for example). I know that basically the annoyance is caused by accidental keypress, but it seems to be one that happens quite often and is a lot more annoying than accidentally pressin "a" instead of "s"... When you press a wrong letter, you can just press backspace, and continue writing... When you press F12 in FF you have to use the mouse to continue what you were doing.

It wouldn't probably be too hard to make an about:config entry for disabling the DevTools (or just the F12 mapping). Most people wouldn't even notice if it was disabled as default exept some (mostly laptop users) would be annoyed less often. I understand that it works as designed... The way it is designed just seems to annoy some people like me.

So the question still is if Firefox is mainly made for web developers and other people should just use something else?

user633449
user633449
more options

Firefox is for all users, and like I said, there will likely be a version of Firefox in the future that comes without devtools. For the time being, that is not the case and until there there are add-ons that will disable the shortcut or devtools entirely.