browser/devtools/inspector/inspector-commands.js

Thu, 22 Jan 2015 13:21:57 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Thu, 22 Jan 2015 13:21:57 +0100
branch
TOR_BUG_9701
changeset 15
b8a032363ba2
permissions
-rw-r--r--

Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6

michael@0 1 /* This Source Code Form is subject to the terms of the Mozilla Public
michael@0 2 * License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0 3 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
michael@0 4
michael@0 5 "use strict";
michael@0 6
michael@0 7 const gcli = require("gcli/index");
michael@0 8
michael@0 9 exports.items = [{
michael@0 10 name: "inspect",
michael@0 11 description: gcli.lookup("inspectDesc"),
michael@0 12 manual: gcli.lookup("inspectManual"),
michael@0 13 params: [
michael@0 14 {
michael@0 15 name: "selector",
michael@0 16 type: "node",
michael@0 17 description: gcli.lookup("inspectNodeDesc"),
michael@0 18 manual: gcli.lookup("inspectNodeManual")
michael@0 19 }
michael@0 20 ],
michael@0 21 exec: function(args, context) {
michael@0 22 let target = context.environment.target;
michael@0 23 let gDevTools = require("resource:///modules/devtools/gDevTools.jsm").gDevTools;
michael@0 24
michael@0 25 return gDevTools.showToolbox(target, "inspector").then(toolbox => {
michael@0 26 toolbox.getCurrentPanel().selection.setNode(args.selector, "gcli");
michael@0 27 });
michael@0 28 }
michael@0 29 }];

mercurial