Skip to content

Instantly share code, notes, and snippets.

@penguinpowernz
Created April 24, 2014 01:06
Show Gist options
  • Save penguinpowernz/11238027 to your computer and use it in GitHub Desktop.
Save penguinpowernz/11238027 to your computer and use it in GitHub Desktop.
// disable developer tools
user_pref("devtools.appmanager.enabled", false);
user_pref("devtools.appmanager.manifestEditor.enabled", false);
user_pref("devtools.chrome.enabled", false);
user_pref("devtools.debugger.chrome-enabled", false);
user_pref("devtools.debugger.enabled", false);
user_pref("devtools.debugger.pretty-print-enabled", false);
user_pref("devtools.debugger.remote-enabled", false);
user_pref("devtools.debugger.source-maps-enabled", false);
user_pref("devtools.debugger.ui.variables-sorting-enabled", false);
user_pref("devtools.errorconsole.enabled", false);
user_pref("devtools.fontinspector.enabled", false);
user_pref("devtools.inspector.enabled", false);
user_pref("devtools.netmonitor.enabled", false);
user_pref("devtools.profiler.enabled", false);
user_pref("devtools.shadereditor.enabled", false);
user_pref("devtools.styleeditor.enabled", false);
user_pref("devtools.tilt.enabled", false);
user_pref("devtools.toolbar.enabled", false);
user_pref("devtools.toolbox.sideEnabled", false);
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment