How to disable tool->web developer using about.config ?

Discussion of general topics about Mozilla Firefox
Post Reply
modo
New Member
Posts: 1
Joined: October 13th, 2019, 6:48 pm

How to disable tool->web developer using about.config ?

Post by modo »

I disable devtools in all option in about:config but still this still exist
Any idea how to completely delete or disable this ?
User avatar
WaltS48
Posts: 5141
Joined: May 7th, 2010, 9:38 am
Location: Pennsylvania, USA

Re: How to disable tool->web developer using about.config ?

Post by WaltS48 »

You disabled the web developer tools preferences in about:config, still see the menu item Tools > Web Developer and you want to remove it from the menu?

Some user might have some code you could use to perform that operation.
Linux Desktop - AMD Athlon(tm) II X3 455 3.3GHz | 8.0GB RAM | GeForce GT 630
Windows Notebook - AMD A8 7410 2.2GHz | 6.0GB RAM | AMD Radeon R5
Brummelchen
Posts: 4480
Joined: March 19th, 2005, 10:51 am

Re: How to disable tool->web developer using about.config ?

Post by Brummelchen »

try this extension to generate a policy
https://addons.mozilla.org//firefox/add ... generator/
morat
Posts: 6421
Joined: February 3rd, 2009, 6:29 pm

Re: How to disable tool->web developer using about.config ?

Post by morat »

I set the devtools.policy.disabled pref to true, then restarted - that removed access to all developer tools and removed the Web Developer menu.

DisableDeveloperTools
http://github.com/mozilla/policy-templa ... lopertools
Post Reply