mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-18 07:45:30 +00:00
Bug 1448077 - Move webide preferences file to dedicated /preferences folder;r=jryans
Changing the name for consistency purposes (see RFC https://github.com/devtools-html/rfcs/issues/43) MozReview-Commit-ID: BBXObtPaR00 --HG-- rename : devtools/client/webide/webide-prefs.js => devtools/client/webide/preferences/webide.js extra : rebase_source : ee79e29d260ed147947babc1ff1dd1710e4f7128
This commit is contained in:
parent
edc60268bf
commit
e88b64543e
@ -420,7 +420,7 @@
|
||||
; [Webide Files]
|
||||
@RESPATH@/browser/chrome/webide@JAREXT@
|
||||
@RESPATH@/browser/chrome/webide.manifest
|
||||
@RESPATH@/browser/@PREF_DIR@/webide-prefs.js
|
||||
@RESPATH@/browser/@PREF_DIR@/webide.js
|
||||
|
||||
; [DevTools Startup Files]
|
||||
@RESPATH@/browser/chrome/devtools-startup@JAREXT@
|
||||
|
@ -7,6 +7,7 @@
|
||||
DIRS += [
|
||||
'content',
|
||||
'modules',
|
||||
'preferences',
|
||||
'themes',
|
||||
]
|
||||
|
||||
@ -17,9 +18,5 @@ MOCHITEST_CHROME_MANIFESTS += [
|
||||
'test/chrome.ini'
|
||||
]
|
||||
|
||||
JS_PREFERENCE_FILES += [
|
||||
'webide-prefs.js',
|
||||
]
|
||||
|
||||
with Files('**'):
|
||||
BUG_COMPONENT = ('Firefox', 'Developer Tools: WebIDE')
|
||||
|
9
devtools/client/webide/preferences/moz.build
Normal file
9
devtools/client/webide/preferences/moz.build
Normal file
@ -0,0 +1,9 @@
|
||||
# -*- Mode: python; indent-tabs-mode: nil; tab-width: 40 -*-
|
||||
# vim: set filetype=python:
|
||||
# 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/.
|
||||
|
||||
JS_PREFERENCE_FILES += [
|
||||
'webide.js',
|
||||
]
|
Loading…
Reference in New Issue
Block a user