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
--- a/browser/installer/package-manifest.in
+++ b/browser/installer/package-manifest.in
@@ -415,17 +415,17 @@
@RESPATH@/browser/chrome/icons/default/default64.png
@RESPATH@/browser/chrome/icons/default/default128.png
#endif
@RESPATH@/browser/features/*
; [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@
@RESPATH@/browser/chrome/devtools-startup.manifest
@RESPATH@/browser/@PREF_DIR@/devtools-startup-prefs.js
; DevTools
@RESPATH@/browser/chrome/devtools@JAREXT@
--- a/devtools/client/webide/moz.build
+++ b/devtools/client/webide/moz.build
@@ -2,24 +2,21 @@
# 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/.
DIRS += [
'content',
'modules',
+ 'preferences',
'themes',
]
BROWSER_CHROME_MANIFESTS += [
'test/browser.ini'
]
MOCHITEST_CHROME_MANIFESTS += [
'test/chrome.ini'
]
-JS_PREFERENCE_FILES += [
- 'webide-prefs.js',
-]
-
with Files('**'):
BUG_COMPONENT = ('Firefox', 'Developer Tools: WebIDE')
new file mode 100644
--- /dev/null
+++ b/devtools/client/webide/preferences/moz.build
@@ -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',
+]
rename from devtools/client/webide/webide-prefs.js
rename to devtools/client/webide/preferences/webide.js