Index: chrome/common/extensions/api/devtools/panels.json |
diff --git a/chrome/common/extensions/api/devtools/panels.json b/chrome/common/extensions/api/devtools/panels.json |
index 0fec13a830c5bde19010df6d97e892616b4e641d..fa02daaffbc60c4b8457ff74168d64ec9537396e 100644 |
--- a/chrome/common/extensions/api/devtools/panels.json |
+++ b/chrome/common/extensions/api/devtools/panels.json |
@@ -256,6 +256,10 @@ |
"elements": { |
"$ref": "ElementsPanel", |
"description": "Elements panel." |
+ }, |
+ "sources": { |
+ "$ref": "SourcesPanel", |
+ "description": "Sources panel." |
} |
}, |
"functions": [ |
@@ -313,6 +317,29 @@ |
] |
} |
] |
+ }, |
+ { |
+ "name": "openResource", |
+ "type": "function", |
+ "description": "Requests DevTools to open a URL in a Developer Tools panel.", |
+ "parameters": [ |
+ { |
+ "name": "url", |
+ "type": "string", |
+ "description": "The URL of the resource to open." |
+ }, |
+ { |
+ "name": "lineNumber", |
+ "type": "integer", |
+ "description": "Specifies the line number to scroll to when the resource is loaded." |
+ }, |
+ { |
+ "name": "callback", |
+ "type": "function", |
+ "optional": true, |
+ "description": "A function that is called when the resource has been successfully loaded." |
+ } |
+ ] |
} |
] |
} |