Skip to content
This repository was archived by the owner on Jul 9, 2025. It is now read-only.

Commit 1563ca8

Browse files
Bug 1448077 - Move devtools-startup preferences file to dedicated /preferences folder;r=jryans
Changing the name for consistency purposes (see RFC firefox-devtools/rfcs#43) MozReview-Commit-ID: EahEwoR9eBF --HG-- rename : devtools/startup/devtools-startup-prefs.js => devtools/startup/preferences/devtools-startup.js extra : rebase_source : 5aeb6fa4d1264de91097bf29f9aace844e84ee04
1 parent 0671325 commit 1563ca8

6 files changed

Lines changed: 15 additions & 6 deletions

File tree

.eslintignore

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -153,7 +153,7 @@ devtools/client/debugger/new/**
153153

154154
# Ignore devtools preferences files
155155
devtools/client/preferences/**
156-
devtools/startup/devtools-startup-prefs.js
156+
devtools/startup/preferences/devtools-startup.js
157157

158158
# Ignore devtools third-party libs
159159
devtools/shared/jsbeautify/*

browser/installer/package-manifest.in

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -425,7 +425,7 @@
425425
; [DevTools Startup Files]
426426
@RESPATH@/browser/chrome/devtools-startup@JAREXT@
427427
@RESPATH@/browser/chrome/devtools-startup.manifest
428-
@RESPATH@/browser/@PREF_DIR@/devtools-startup-prefs.js
428+
@RESPATH@/browser/@PREF_DIR@/devtools-startup.js
429429

430430
; DevTools
431431
@RESPATH@/browser/chrome/devtools@JAREXT@

devtools/docs/preferences.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -72,12 +72,12 @@ To create a new preference, it should be assigned a default value. Default prefe
7272
defined in preferences files such as:
7373
- devtools/client/preferences/devtools.js
7474
- devtools/client/preferences/debugger.js
75-
- devtools/startup/devtools-startup-prefs.js
75+
- devtools/startup/preferences/devtools-startup.js
7676

7777
Most new preferences should go in devtools/client/preferences/devtools.js. Debugger
7878
specific preferences should go in devtools/client/preferences/debugger.js. Finally if a
7979
preference needs to be available very early during the Firefox startup sequence, it should
80-
go in devtools/startup/devtools-startup-prefs.js.
80+
go in devtools/startup/preferences/devtools-startup.js.
8181

8282
### Projects using Launchpad
8383

devtools/startup/moz.build

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@
66

77
JAR_MANIFESTS += ['jar.mn']
88

9-
JS_PREFERENCE_PP_FILES += [
10-
'devtools-startup-prefs.js',
9+
DIRS += [
10+
'preferences',
1111
]
1212

1313
# Register the startup components only for 'all' builds.
File renamed without changes.
Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
# -*- Mode: python; indent-tabs-mode: nil; tab-width: 40 -*-
2+
# vim: set filetype=python:
3+
# This Source Code Form is subject to the terms of the Mozilla Public
4+
# License, v. 2.0. If a copy of the MPL was not distributed with this
5+
# file, You can obtain one at http://mozilla.org/MPL/2.0/.
6+
7+
JS_PREFERENCE_PP_FILES += [
8+
'devtools-startup.js'
9+
]

0 commit comments

Comments
 (0)