| 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 9873bfc4e6aa670988dcd0d76605517209834ece..691fceddb5ee04caeeaadc100ed7aaf4b6651817 100644
|
| --- a/chrome/common/extensions/api/devtools/panels.json
|
| +++ b/chrome/common/extensions/api/devtools/panels.json
|
| @@ -298,6 +298,10 @@
|
| "sources": {
|
| "$ref": "SourcesPanel",
|
| "description": "Sources panel."
|
| + },
|
| + "themeName": {
|
| + "type": "string",
|
| + "description": "The name of the color theme set in user's DevTools settings. Possible values: <code>default</code> (the default) and <code>dark</code>."
|
| }
|
| },
|
| "functions": [
|
|
|