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.
Soluzione scelta
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)?
Leggere questa risposta nel contesto 👍 0Tutte le risposte (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.
Soluzione scelta
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)?
Modificato da cor-el il