[DevTools] Focus DevTools when revealing setting.

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

 /*
  * Copyright (C) 2013 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 540 matching lines @@
         return success ? Promise.resolve() : Promise.reject();
 
         /**
          * @param {!Runtime.Extension} extension
          */
         function revealModuleSetting(extension)
         {
             if (!WebInspector.GenericSettingsTab.isSettingVisible(extension))
                 return;
             if (extension.descriptor()["settingName"] === setting.name) {
+                InspectorFrontendHost.bringToFront();
                 WebInspector._settingsController.showSettingsScreen("preferences");
                 success = true;
             }
         }
 
         /**
          * @param {!Runtime.Extension} extension
          */
         function revealSettingUI(extension)
         {
             var settings = extension.descriptor()["settings"];
             if (settings && settings.indexOf(setting.name) !== -1) {
+                InspectorFrontendHost.bringToFront();
                 WebInspector._settingsController.showSettingsScreen("preferences");
                 success = true;
             }
         }
 
         /**
          * @param {!Runtime.Extension} extension
          */
         function revealSettingsView(extension)
         {
             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;
             }
         }
     }
 }
 
 WebInspector._settingsController = new WebInspector.SettingsController();