mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-17 15:25:52 +00:00
Bug 1448077 - Rename client/preferences/devtools.js to devtools-client.js;r=jryans
We will be moving existing generic preferences for devtools from libpref/init/all.js to a new preferences file that will be devtools/preferences/devtools.js and that will always be shipped. We rename the current devtools.js to devtools-client.js to avoid conflicts when packaging the preference file to @RESPATH@/browser/@PREF_DIR@/devtools.js MozReview-Commit-ID: INnqWGBoIAF --HG-- rename : devtools/client/preferences/devtools.js => devtools/client/preferences/devtools-client.js extra : rebase_source : c6c3fefbedda04792b7d48d398e40c816316e320
This commit is contained in:
parent
1563ca8769
commit
e881d80fab
@ -430,7 +430,7 @@
|
||||
; DevTools
|
||||
@RESPATH@/browser/chrome/devtools@JAREXT@
|
||||
@RESPATH@/browser/chrome/devtools.manifest
|
||||
@RESPATH@/browser/@PREF_DIR@/devtools.js
|
||||
@RESPATH@/browser/@PREF_DIR@/devtools-client.js
|
||||
@RESPATH@/browser/@PREF_DIR@/debugger.js
|
||||
|
||||
; shell icons
|
||||
|
@ -6,7 +6,7 @@ const Services = require("Services");
|
||||
const { Preferences } = require("resource://gre/modules/Preferences.jsm");
|
||||
|
||||
// Prefs to revert to default once tests finish. Keep these in sync with
|
||||
// all the preferences defined in devtools/client/preferences/devtools.js.
|
||||
// all the preferences defined in devtools/client/preferences/devtools-client.js.
|
||||
exports.MEMORY_SAMPLE_PROB_PREF = "devtools.performance.memory.sample-probability";
|
||||
exports.MEMORY_MAX_LOG_LEN_PREF = "devtools.performance.memory.max-log-length";
|
||||
exports.PROFILER_BUFFER_SIZE_PREF = "devtools.performance.profiler.buffer-size";
|
||||
|
@ -5,7 +5,7 @@
|
||||
# file, You can obtain one at http://mozilla.org/MPL/2.0/.
|
||||
|
||||
JS_PREFERENCE_PP_FILES += [
|
||||
'devtools.js'
|
||||
'devtools-client.js'
|
||||
]
|
||||
|
||||
JS_PREFERENCE_FILES += [
|
||||
|
@ -70,11 +70,11 @@ These APIs are very similar for each preference type.
|
||||
|
||||
To create a new preference, it should be assigned a default value. Default preferences are
|
||||
defined in preferences files such as:
|
||||
- devtools/client/preferences/devtools.js
|
||||
- devtools/client/preferences/devtools-client.js
|
||||
- devtools/client/preferences/debugger.js
|
||||
- devtools/startup/preferences/devtools-startup.js
|
||||
|
||||
Most new preferences should go in devtools/client/preferences/devtools.js. Debugger
|
||||
Most new preferences should go in devtools/client/preferences/devtools-client.js. Debugger
|
||||
specific preferences should go in devtools/client/preferences/debugger.js. Finally if a
|
||||
preference needs to be available very early during the Firefox startup sequence, it should
|
||||
go in devtools/startup/preferences/devtools-startup.js.
|
||||
|
Loading…
Reference in New Issue
Block a user