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.
Gekozen oplossing
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)?
Dit antwoord in context lezen 👍 0Alle antwoorden (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.
Gekozen oplossing
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)?
Bewerkt door cor-el op