[DevTools] Added regex support to console filters.

Source/devtools/front_end/ConsoleView.js

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();
     },