DevTools: Remember the last focused widget.

third_party/WebKit/Source/devtools/front_end/sources/SourcesPanel.js

Index: third_party/WebKit/Source/devtools/front_end/sources/SourcesPanel.js
diff --git a/third_party/WebKit/Source/devtools/front_end/sources/SourcesPanel.js b/third_party/WebKit/Source/devtools/front_end/sources/SourcesPanel.js
index 662d3219a88e03d0ac290767a9ac5ea31b7e1b22..02ba2c5afeb4d55044d21c00678daf266375facf 100644
--- a/third_party/WebKit/Source/devtools/front_end/sources/SourcesPanel.js
+++ b/third_party/WebKit/Source/devtools/front_end/sources/SourcesPanel.js
@@ -81,6 +81,7 @@ WebInspector.SourcesPanel = function()
     this._sourcesView.addEventListener(WebInspector.SourcesView.Events.EditorClosed, this._editorClosed.bind(this));
     this._sourcesView.registerShortcuts(this.registerShortcuts.bind(this));
     this.editorView.setMainWidget(this._sourcesView);
+    this._sourcesView.makeDefaultFocused();
     this._editorChanged(this._sourcesView.currentUISourceCode());
 
     this._threadsSidebarPane = null;
@@ -122,14 +123,6 @@ WebInspector.SourcesPanel.minToolbarWidth = 215;
 WebInspector.SourcesPanel.prototype = {
     /**
      * @override
-     */
-    focus: function()
-    {
-        this._sourcesView.focus();

[pfeldman, 2016/09/08 00:53:50]

Did we only have one?

[einbinder, 2016/09/09 01:32:16]

For now. There are some places where we don't set focus at all and we should,
and some places where we set focus explicitly and we should do this instead. I
haven't tracked them all down yet.

-    },
-
-    /**
-     * @override
      * @param {!WebInspector.Target} target
      */
     targetAdded: function(target)