mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-27 04:05:32 +00:00
985beb4e9c
--HG-- extra : commitid : 76W5rnBhXFZ extra : rebase_source : b8ab20a08648924fe8d508efed76ae46a0d99b1a extra : histedit_source : 9e56a71166fc5017eaa22ad5aedccaa5d585ad68%2C6dc936e4406a7930ea0419b199c2f71f0fe94911
46 lines
1.8 KiB
JavaScript
46 lines
1.8 KiB
JavaScript
/* 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/. */
|
|
|
|
"use strict";
|
|
|
|
const { Cu } = require("chrome");
|
|
Cu.import("resource://gre/modules/Services.jsm");
|
|
const { gDevTools } = require("resource://devtools/client/framework/gDevTools.jsm");
|
|
|
|
const { defaultTools, defaultThemes } = require("devtools/client/definitions");
|
|
|
|
defaultTools.forEach(definition => gDevTools.registerTool(definition));
|
|
defaultThemes.forEach(definition => gDevTools.registerTheme(definition));
|
|
|
|
// Re-export for backwards compatibility, but we should probably the
|
|
// definitions from require("devtools/client/definitions") in the future
|
|
exports.defaultTools = require("devtools/client/definitions").defaultTools;
|
|
exports.defaultThemes = require("devtools/client/definitions").defaultThemes;
|
|
exports.Tools = require("devtools/client/definitions").Tools;
|
|
|
|
Object.defineProperty(exports, "Toolbox", {
|
|
get: () => require("devtools/client/framework/toolbox").Toolbox
|
|
});
|
|
Object.defineProperty(exports, "TargetFactory", {
|
|
get: () => require("devtools/client/framework/target").TargetFactory
|
|
});
|
|
|
|
const unloadObserver = {
|
|
observe: function(subject) {
|
|
if (subject.wrappedJSObject === require("@loader/unload")) {
|
|
Services.obs.removeObserver(unloadObserver, "sdk:loader:destroy");
|
|
for (let definition of gDevTools.getToolDefinitionArray()) {
|
|
gDevTools.unregisterTool(definition.id);
|
|
}
|
|
for (let definition of gDevTools.getThemeDefinitionArray()) {
|
|
gDevTools.unregisterTheme(definition.id);
|
|
}
|
|
}
|
|
}
|
|
};
|
|
Services.obs.addObserver(unloadObserver, "sdk:loader:destroy", false);
|
|
|
|
const events = require("sdk/system/events");
|
|
events.emit("devtools-loaded", {});
|