зеркало из https://github.com/mozilla/gecko-dev.git
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 : 33e24e37b9ec375684f3248ea9e4c200fad71856
This commit is contained in:
Родитель
bd5d32f088
Коммит
067132558d
|
@ -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')
|
||||
|
|
|
@ -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',
|
||||
]
|
Загрузка…
Ссылка в новой задаче