[DevTools] Focus DevTools when revealing setting.

third_party/WebKit/Source/devtools/front_end/settings/SettingsScreen.js

Index: third_party/WebKit/Source/devtools/front_end/settings/SettingsScreen.js
diff --git a/third_party/WebKit/Source/devtools/front_end/settings/SettingsScreen.js b/third_party/WebKit/Source/devtools/front_end/settings/SettingsScreen.js
index 42ea06e74e6b55ef2d307d2c014ca077067ab23e..38aa0d413805e3d42a42f52e6a767bf00607bd44 100644
--- a/third_party/WebKit/Source/devtools/front_end/settings/SettingsScreen.js
+++ b/third_party/WebKit/Source/devtools/front_end/settings/SettingsScreen.js
@@ -558,6 +558,7 @@ WebInspector.SettingsController.Revealer.prototype = {
             if (!WebInspector.GenericSettingsTab.isSettingVisible(extension))
                 return;
             if (extension.descriptor()["settingName"] === setting.name) {
+                InspectorFrontendHost.bringToFront();
                 WebInspector._settingsController.showSettingsScreen("preferences");
                 success = true;
             }
@@ -570,6 +571,7 @@ WebInspector.SettingsController.Revealer.prototype = {
         {
             var settings = extension.descriptor()["settings"];
             if (settings && settings.indexOf(setting.name) !== -1) {
+                InspectorFrontendHost.bringToFront();
                 WebInspector._settingsController.showSettingsScreen("preferences");
                 success = true;
             }
@@ -582,6 +584,7 @@ WebInspector.SettingsController.Revealer.prototype = {
         {
             var settings = extension.descriptor()["settings"];
             if (settings && settings.indexOf(setting.name) !== -1) {
+                InspectorFrontendHost.bringToFront();

[lushnikov, 2016/05/26 00:11:46]

why not inline this in showSettingsScreen method? Other possible clients would
benefit from it, wouldn't it? 

[dgozman, 2016/05/26 00:18:10]

Not sure. May have unpredictable consequences.

                 WebInspector._settingsController.showSettingsScreen(extension.descriptor()["name"]);
                 success = true;
             }