| 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..f44fdfc5587f963508acde62696fb6c2b3757123 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": "Debugger",
|
| "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",
|
|
|