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

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

Issue 2708413003: DevTools: make disable javascript setting temporary (Closed)
Patch Set: default global Created 3 years, 10 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
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 1df75095e436862867eda798042be8e848526201..c14807682a5bfc60f31596e61fa57d3dfb91ad62 100644
--- a/third_party/WebKit/Source/devtools/front_end/main/module.json
+++ b/third_party/WebKit/Source/devtools/front_end/main/module.json
@@ -251,6 +251,7 @@
"title": "Disable JavaScript",
"settingName": "javaScriptDisabled",
"settingType": "boolean",
+ "storageType": "session",
"order": 1,
"defaultValue": false,
"options": [

Powered by Google App Engine
This is Rietveld 408576698