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.
გადაწყვეტა შერჩეულია
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)?
პასუხის ნახვა სრულად 👍 0ყველა პასუხი (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.
შერჩეული გადაწყვეტა
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)?
ჩასწორების თარიღი: , ავტორი: cor-el