The Tor Browser / file comparison
comparison: browser/devtools/styleeditor/styleeditor-commands.js
browser/devtools/styleeditor/styleeditor-commands.js
- changeset 0
- 6474c204b198
equal
deleted
inserted
replaced
| -1:000000000000 | 0:6567ef4f36b8 |
|---|---|
| 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/. */ | |
| 4 | |
| 5 "use strict"; | |
| 6 | |
| 7 const gcli = require("gcli/index"); | |
| 8 | |
| 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 }]; |
