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