| Index: third_party/WebKit/Source/devtools/front_end/console/ConsoleView.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/console/ConsoleView.js b/third_party/WebKit/Source/devtools/front_end/console/ConsoleView.js
|
| index 27a37e27234b6931f0c184e51e30d49a1547400c..de5ac5808837aa55f2d3409d78b0e4673d2cf138 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/console/ConsoleView.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/console/ConsoleView.js
|
| @@ -1052,7 +1052,7 @@ Console.ConsoleViewFilter = class {
|
| this._messageLevelFiltersSetting.addChangeListener(this._filterChanged);
|
| this._hideNetworkMessagesSetting.addChangeListener(this._filterChanged);
|
|
|
| - this._textFilterUI = new UI.ToolbarInput(Common.UIString('Filter'), 0.2, 1);
|
| + this._textFilterUI = new UI.ToolbarInput(Common.UIString('Filter'), 0.2, 1, true);
|
| this._textFilterUI.addEventListener(UI.ToolbarInput.Event.TextChanged, this._textFilterChanged, this);
|
|
|
| var levels = [
|
|
|