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

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

Issue 2708413003: DevTools: make disable javascript setting temporary (Closed)
Patch Set: ac 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 55d8931d5752f36aa47f9eacaa085199819e9268..b96ead7a608f5cb23e6f2ef9a78fcbc50c840b01 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