DevTools: Navigate TabbedPane with arrow keys

third_party/WebKit/Source/devtools/front_end/ui/FilterBar.js

Index: third_party/WebKit/Source/devtools/front_end/ui/FilterBar.js
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/FilterBar.js b/third_party/WebKit/Source/devtools/front_end/ui/FilterBar.js
index 666a36e1fa67919496f3aed16d3ba24142fd4533..bc9db3d7a19382ee74cfd82e3ad60f6f2d230fc0 100644
--- a/third_party/WebKit/Source/devtools/front_end/ui/FilterBar.js
+++ b/third_party/WebKit/Source/devtools/front_end/ui/FilterBar.js
@@ -106,13 +106,15 @@ UI.FilterBar = class extends UI.HBox {
       this._showingWidget = true;
       this.showWidget();
       this._showingWidget = false;
-      this._focusTextField();
     } else {
       this.hideWidget();
     }
   }
 
-  _focusTextField() {
+  /**
+   * @override
+   */
+  focus() {
     for (var i = 0; i < this._filters.length; ++i) {
       if (this._filters[i] instanceof UI.TextFilterUI) {
         var textFilterUI = /** @type {!UI.TextFilterUI} */ (this._filters[i]);