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" |
], |