MozillaZine

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

Discussion of general topics about Mozilla Firefox
modo
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 ?

WaltS48

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

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

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

try this extension to generate a policy
https://addons.mozilla.org//firefox/add ... generator/

morat
 
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.

DisableDeveloperTools
http://github.com/mozilla/policy-templates#disabledevelopertools

Return to Firefox General


Who is online

Users browsing this forum: No registered users and 4 guests