Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(588)

Unified Diff: third_party/WebKit/Source/devtools/front_end/main/module.json

Issue 2194753002: [DevTools] Add "Disable JavaScript" into command menu (Closed) Base URL: https://chromium.googlesource.com/chromium/src.git@master
Patch Set: a Created 4 years, 5 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « no previous file | no next file » | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
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",
« no previous file with comments | « no previous file | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698