Index: third_party/WebKit/Source/devtools/front_end/main/module.json |
diff --git a/third_party/WebKit/Source/devtools/front_end/main/module.json b/third_party/WebKit/Source/devtools/front_end/main/module.json |
index a4ad45488912230c052ebe51dae140107c86e1a2..eb029b35ed57b527bcbdd3e048728a89ca4ba13a 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/main/module.json |
+++ b/third_party/WebKit/Source/devtools/front_end/main/module.json |
@@ -265,7 +265,7 @@ |
"settingType": "enum", |
"defaultValue": "default", |
"options": [ |
- { "title": "Switch to default theme", "text": "Default", "value": "default" }, |
+ { "title": "Switch to light theme", "text": "Light", "value": "default" }, |
pfeldman
2016/12/17 01:14:00
We should add a "dark" tag to both.
|
{ "title": "Switch to dark theme", "text": "Dark", "value": "dark" } |
] |
}, |