| 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..6002038392781f2cb8aa59fa7a6e99fd94fbbfe5 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/main/module.json
|
| +++ b/third_party/WebKit/Source/devtools/front_end/main/module.json
|
| @@ -265,9 +265,10 @@
|
| "settingType": "enum",
|
| "defaultValue": "default",
|
| "options": [
|
| - { "title": "Switch to default theme", "text": "Default", "value": "default" },
|
| + { "title": "Switch to light theme", "text": "Light", "value": "default" },
|
| { "title": "Switch to dark theme", "text": "Dark", "value": "dark" }
|
| - ]
|
| + ],
|
| + "tags": "dark, light"
|
| },
|
| {
|
| "type": "setting",
|
|
|