browser/devtools/styleeditor/styleeditor-commands.js@6474c204b198 (annotated)
browser/devtools/styleeditor/styleeditor-commands.js
Wed, 31 Dec 2014 06:09:35 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Wed, 31 Dec 2014 06:09:35 +0100
- changeset 0
- 6474c204b198
- permissions
- -rw-r--r--
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
| 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: "edit", |
| michael@0 | 11 | description: gcli.lookup("editDesc"), |
| michael@0 | 12 | manual: gcli.lookup("editManual2"), |
| michael@0 | 13 | params: [ |
| michael@0 | 14 | { |
| michael@0 | 15 | name: 'resource', |
| michael@0 | 16 | type: { |
| michael@0 | 17 | name: 'resource', |
| michael@0 | 18 | include: 'text/css' |
| michael@0 | 19 | }, |
| michael@0 | 20 | description: gcli.lookup("editResourceDesc") |
| michael@0 | 21 | }, |
| michael@0 | 22 | { |
| michael@0 | 23 | name: "line", |
| michael@0 | 24 | defaultValue: 1, |
| michael@0 | 25 | type: { |
| michael@0 | 26 | name: "number", |
| michael@0 | 27 | min: 1, |
| michael@0 | 28 | step: 10 |
| michael@0 | 29 | }, |
| michael@0 | 30 | description: gcli.lookup("editLineToJumpToDesc") |
| michael@0 | 31 | } |
| michael@0 | 32 | ], |
| michael@0 | 33 | exec: function(args, context) { |
| michael@0 | 34 | let target = context.environment.target; |
| michael@0 | 35 | let gDevTools = require("resource:///modules/devtools/gDevTools.jsm").gDevTools; |
| michael@0 | 36 | return gDevTools.showToolbox(target, "styleeditor").then(function(toolbox) { |
| michael@0 | 37 | let styleEditor = toolbox.getCurrentPanel(); |
| michael@0 | 38 | styleEditor.selectStyleSheet(args.resource.element, args.line); |
| michael@0 | 39 | return null; |
| michael@0 | 40 | }); |
| michael@0 | 41 | } |
| michael@0 | 42 | }]; |
