| 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 c9920b02c78d85d4db7a8440ec974c528415e7b6..97f701cd142db285b124ff9c7810685ee38c9fd4 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 = [
|
|
|