forked from mirrors/gecko-dev
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 : b0936c4b2f07c6e4ed3a9202be4c497baf5ae7c4
This commit is contained in:
parent
aa51f2b0c0
commit
886ae7b748
5 changed files with 5 additions and 5 deletions
|
|
@ -430,7 +430,7 @@
|
||||||
; DevTools
|
; DevTools
|
||||||
@RESPATH@/browser/chrome/devtools@JAREXT@
|
@RESPATH@/browser/chrome/devtools@JAREXT@
|
||||||
@RESPATH@/browser/chrome/devtools.manifest
|
@RESPATH@/browser/chrome/devtools.manifest
|
||||||
@RESPATH@/browser/@PREF_DIR@/devtools.js
|
@RESPATH@/browser/@PREF_DIR@/devtools-client.js
|
||||||
@RESPATH@/browser/@PREF_DIR@/debugger.js
|
@RESPATH@/browser/@PREF_DIR@/debugger.js
|
||||||
|
|
||||||
; shell icons
|
; shell icons
|
||||||
|
|
|
||||||
|
|
@ -6,7 +6,7 @@ const Services = require("Services");
|
||||||
const { Preferences } = require("resource://gre/modules/Preferences.jsm");
|
const { Preferences } = require("resource://gre/modules/Preferences.jsm");
|
||||||
|
|
||||||
// Prefs to revert to default once tests finish. Keep these in sync with
|
// 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_SAMPLE_PROB_PREF = "devtools.performance.memory.sample-probability";
|
||||||
exports.MEMORY_MAX_LOG_LEN_PREF = "devtools.performance.memory.max-log-length";
|
exports.MEMORY_MAX_LOG_LEN_PREF = "devtools.performance.memory.max-log-length";
|
||||||
exports.PROFILER_BUFFER_SIZE_PREF = "devtools.performance.profiler.buffer-size";
|
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/.
|
# file, You can obtain one at http://mozilla.org/MPL/2.0/.
|
||||||
|
|
||||||
JS_PREFERENCE_PP_FILES += [
|
JS_PREFERENCE_PP_FILES += [
|
||||||
'devtools.js'
|
'devtools-client.js'
|
||||||
]
|
]
|
||||||
|
|
||||||
JS_PREFERENCE_FILES += [
|
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
|
To create a new preference, it should be assigned a default value. Default preferences are
|
||||||
defined in preferences files such as:
|
defined in preferences files such as:
|
||||||
- devtools/client/preferences/devtools.js
|
- devtools/client/preferences/devtools-client.js
|
||||||
- devtools/client/preferences/debugger.js
|
- devtools/client/preferences/debugger.js
|
||||||
- devtools/startup/preferences/devtools-startup.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
|
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
|
preference needs to be available very early during the Firefox startup sequence, it should
|
||||||
go in devtools/startup/preferences/devtools-startup.js.
|
go in devtools/startup/preferences/devtools-startup.js.
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue