Index: Source/devtools/front_end/console/module.json |
diff --git a/Source/devtools/front_end/console/module.json b/Source/devtools/front_end/console/module.json |
index 7684642118ed5adbaa4ca41d1f266a7014b618f7..db2027409f04d77fdaee165f580b5268d3ce459b 100644 |
--- a/Source/devtools/front_end/console/module.json |
+++ b/Source/devtools/front_end/console/module.json |
@@ -32,6 +32,13 @@ |
{ |
"type": "ui-setting", |
"section": "Console", |
+ "title": "Hide network messages", |
+ "settingName": "hideNetworkMessages", |
+ "settingType": "checkbox" |
+ }, |
+ { |
+ "type": "ui-setting", |
+ "section": "Console", |
"title": "Log XMLHttpRequests", |
"settingName": "monitoringXHREnabled", |
"settingType": "checkbox" |