Index: Source/devtools/front_end/ConsoleView.js |
diff --git a/Source/devtools/front_end/ConsoleView.js b/Source/devtools/front_end/ConsoleView.js |
index cc6520911f8737afe84ab15425ec4a8898633e0b..5224caa48fbc3f26b1b9bae9cc1d7b0d7bbb04a8 100644 |
--- a/Source/devtools/front_end/ConsoleView.js |
+++ b/Source/devtools/front_end/ConsoleView.js |
@@ -780,7 +780,7 @@ WebInspector.ConsoleViewFilter.Events = { |
WebInspector.ConsoleViewFilter.prototype = { |
addFilters: function(filterBar) |
{ |
- this._textFilterUI = new WebInspector.TextFilterUI(); |
+ this._textFilterUI = new WebInspector.TextFilterUI(true); |
this._textFilterUI.addEventListener(WebInspector.FilterUI.Events.FilterChanged, this._textFilterChanged, this); |
filterBar.addFilter(this._textFilterUI); |
@@ -797,11 +797,7 @@ WebInspector.ConsoleViewFilter.prototype = { |
_textFilterChanged: function(event) |
{ |
- var query = this._textFilterUI.value(); |
- if (!query) |
- delete this._filterRegex; |
- else |
- this._filterRegex = createPlainTextSearchRegex(query, "gi"); |
+ this._filterRegex = this._textFilterUI.regex(); |
this._filterChanged(); |
}, |