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": [ |