Index: third_party/WebKit/Source/devtools/front_end/console/module.json |
diff --git a/third_party/WebKit/Source/devtools/front_end/console/module.json b/third_party/WebKit/Source/devtools/front_end/console/module.json |
index f0707df3191e934cc2d405f0885967fa9c3fc91b..8fe28c8328b92365f2879fd423f9d08d4957ba11 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/console/module.json |
+++ b/third_party/WebKit/Source/devtools/front_end/console/module.json |
@@ -80,6 +80,42 @@ |
{ |
"type": "setting", |
"category": "Console", |
+ "title": "Selected context only", |
+ "settingName": "selectedContextFilterEnabled", |
pfeldman
2017/05/23 20:56:32
Let's make both 'session' for now.
luoe
2017/05/23 21:03:45
Done.
|
+ "settingType": "boolean", |
+ "defaultValue": false, |
+ "options": [ |
+ { |
+ "value": true, |
+ "title": "Only show messages from the current context" |
+ }, |
+ { |
+ "value": false, |
+ "title": "Show messages from all contexts" |
+ } |
+ ] |
+ }, |
+ { |
+ "type": "setting", |
+ "category": "Console", |
+ "title": "User messages only", |
+ "settingName": "consoleAPIFilterEnabled", |
+ "settingType": "boolean", |
+ "defaultValue": false, |
+ "options": [ |
+ { |
+ "value": true, |
+ "title": "Only show console API messages, filter out other sources" |
+ }, |
+ { |
+ "value": false, |
+ "title": "Show messages from all sources" |
+ } |
+ ] |
+ }, |
+ { |
+ "type": "setting", |
+ "category": "Console", |
"title": "Log XMLHttpRequests", |
"settingName": "monitoringXHREnabled", |
"settingType": "boolean", |