The Tor Browser: browser/devtools/styleeditor/styleeditor-commands.js@b8a032363ba2

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

     1 /* This Source Code Form is subject to the terms of the Mozilla Public

     2  * License, v. 2.0. If a copy of the MPL was not distributed with this

     3  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */

     5 "use strict";

     7 const gcli = require("gcli/index");

     9 exports.items = [{

    10   name: "edit",

    11   description: gcli.lookup("editDesc"),

    12   manual: gcli.lookup("editManual2"),

    13   params: [

    14      {

    15        name: 'resource',

    16        type: {

    17          name: 'resource',

    18          include: 'text/css'

    19        },

    20        description: gcli.lookup("editResourceDesc")

    21      },

    22      {

    23        name: "line",

    24        defaultValue: 1,

    25        type: {

    26          name: "number",

    27          min: 1,

    28          step: 10

    29        },

    30        description: gcli.lookup("editLineToJumpToDesc")

    31      }

    32    ],

    33    exec: function(args, context) {

    34      let target = context.environment.target;

    35      let gDevTools = require("resource:///modules/devtools/gDevTools.jsm").gDevTools;

    36      return gDevTools.showToolbox(target, "styleeditor").then(function(toolbox) {

    37        let styleEditor = toolbox.getCurrentPanel();

    38        styleEditor.selectStyleSheet(args.resource.element, args.line);

    39        return null;

    40      });

    41    }

    42 }];

The Tor Browser / file revision