Chromium Code Reviews| 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 df4d44356519ba9f0513742e5f5f9468ea64b7ed..f095789f493395241d74dbb8195ca9c196397ded 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", |
| + "session": true, |
|
pfeldman
2017/02/27 17:46:33
"type": "session",
luoe
2017/02/27 20:24:34
"storageType": "session"
|
| "order": 1, |
| "defaultValue": false, |
| "options": [ |