![Firefox logo](https://assets-prod.sumo.prod.webservices.mozgcp.net/media/uploads/products/2020-04-14-08-36-13-8dda6f.png)
In Firefox 30, how can I disable the Web Developer console?
I use a keyboard macro program. Its settings, however, are preempted by the Web Developer tools' shortcuts. Therefore, I either want to (a) totally disable the Web Developer console or (b) remove/reset the shortcuts used by it.
Solución elegida
The prefs for disabling some DevTools (devtools.*.enabled) are there on the about:config page, but I'm not seeing anything in the code that they are supported and tests only include a few prefs. Disabling the developer toolbar works, but not disabling any of the tools in the web console AFAICT.
I'm not sure if there is a bug about this or needs to be filed? Why have prefs if they aren't working (I tried it with lockPref as well)?
Leer esta respuesta en su contexto 👍 0Todas las respuestas (2)
Hi ivanabq, It is possible to edit the shortcuts associated with the Web Developer tools by using an add on Customize Shortcuts
However to disable it entirely: Check out this previous questions solution: question/955124
Thank you.
Solución elegida
The prefs for disabling some DevTools (devtools.*.enabled) are there on the about:config page, but I'm not seeing anything in the code that they are supported and tests only include a few prefs. Disabling the developer toolbar works, but not disabling any of the tools in the web console AFAICT.
I'm not sure if there is a bug about this or needs to be filed? Why have prefs if they aren't working (I tried it with lockPref as well)?
Modificadas por cor-el el