DevTools: render console filter in the main console toolbar.

third_party/WebKit/Source/devtools/front_end/console/module.json

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 e5f5f9bc279e881a8a616210f3d52eed8c100a33..9c0ba5a39471bd0688eaa998242fad7b68a4e518 100644
--- a/third_party/WebKit/Source/devtools/front_end/console/module.json
+++ b/third_party/WebKit/Source/devtools/front_end/console/module.json
@@ -80,24 +80,6 @@
         {
             "type": "setting",
             "category": "Console",
-            "title": "Hide violations",
-            "settingName": "hideViolationMessages",
-            "settingType": "boolean",
-            "defaultValue": true,
-            "options": [
-                {
-                    "value": true,
-                    "title": "Hide violations"
-                },
-                {
-                    "value": false,
-                    "title": "Show violations"
-                }
-            ]
-        },
-        {
-            "type": "setting",
-            "category": "Console",
             "title": "Log XMLHttpRequests",
             "settingName": "monitoringXHREnabled",

[dgozman, 2017/01/31 04:21:29]

Didn't we agree to put more console settings to the new toolbar?

[pfeldman, 2017/01/31 19:54:44]

I'd rather do this incrementally.

             "settingType": "boolean",