| Index: third_party/WebKit/Source/devtools/front_end/network_log/module.json
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/network_log/module.json b/third_party/WebKit/Source/devtools/front_end/network_log/module.json
|
| index 5cbaa3ba98367ec7725a300d31971308691f922a..41b2e10b4f76c337390ec185b631ea680fcd50aa 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/network_log/module.json
|
| +++ b/third_party/WebKit/Source/devtools/front_end/network_log/module.json
|
| @@ -1,4 +1,26 @@
|
| {
|
| + "extensions": [
|
| + {
|
| + "type": "setting",
|
| + "category": "Network",
|
| + "storageType": "session",
|
| + "title": "Preserve log",
|
| + "settingName": "network_log.preserve-log",
|
| + "settingType": "boolean",
|
| + "defaultValue": false,
|
| + "tags": "preserve, clear, reset",
|
| + "options": [
|
| + {
|
| + "value": true,
|
| + "title": "Do not preserve log on page reload / navigation"
|
| + },
|
| + {
|
| + "value": false,
|
| + "title": "Preserve log on page reload / navigation"
|
| + }
|
| + ]
|
| + }
|
| + ],
|
| "dependencies": [
|
| "sdk"
|
| ],
|
|
|