fune/devtools/startup/preferences/devtools-startup.js
Julian Descottes 69ac3ca688 Bug 1519018 - Remove expired scalar devtools.onboarding.is_devtools_user r=ochameau,janerik
Depends on D38167

Differential Revision: https://phabricator.services.mozilla.com/D38168

--HG--
extra : moz-landing-system : lando
2019-07-17 08:12:37 +00:00

20 lines
850 B
JavaScript

/* This Source Code Form is subject to the terms of the Mozilla Public
* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
// The preferences defined here should be used by the components in devtools-startup.
// devtools-startup is always shipped and those preferences will always be available.
// Enable the JSON View tool (an inspector for application/json documents).
pref("devtools.jsonview.enabled", true);
// Default theme ("dark" or "light")
#ifdef MOZ_DEV_EDITION
pref("devtools.theme", "dark", sticky);
#else
pref("devtools.theme", "light", sticky);
#endif
// Completely disable DevTools entry points, as well as all DevTools command line
// arguments This should be merged with devtools.enabled, see Bug 1440675.
pref("devtools.policy.disabled", false);