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

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

Post Posted October 13th, 2019, 7:07 pm

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
Posts: 4391
Joined: May 7th, 2010, 9:38 am
Location: Pennsylvania, USA

Post Posted October 14th, 2019, 5:56 am

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

Posts: 4616
Joined: March 19th, 2005, 10:51 am

Post Posted October 14th, 2019, 9:27 am

try this extension to generate a policy ... generator/

Posts: 3936
Joined: February 3rd, 2009, 6:29 pm

Post Posted October 17th, 2019, 4:55 am

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


Return to Firefox General

Who is online

Users browsing this forum: No registered users and 4 guests