Chromium Code Reviews| 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 cb9cd42cdd3eac2697620ea1c695f2de15411c93..a3940bb56a4e4791e89b16190209da3d2071e65f 100644 |
| --- a/third_party/WebKit/Source/devtools/front_end/main/module.json |
| +++ b/third_party/WebKit/Source/devtools/front_end/main/module.json |
| @@ -222,12 +222,16 @@ |
| }, |
| { |
| "type": "setting", |
| - "category": "", |
| + "category": "Sources", |
|
lushnikov
2016/07/29 00:50:58
debugger!
kozy
2016/07/29 01:01:53
Done.
|
| "title": "Disable JavaScript", |
| "settingName": "javaScriptDisabled", |
| "settingType": "boolean", |
| "order": 1, |
| - "defaultValue": false |
| + "defaultValue": false, |
| + "options": [ |
| + { "value": true, "title": "Disable JavaScript" }, |
| + { "value": false, "title": "Enable JavaScript" } |
| + ] |
| }, |
| { |
| "type": "setting", |