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": [ |