DevTools: use view locations in the elements and sources sidebars.

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 70 matching lines @@
     {
         WebInspector.SettingsScreen._showSettingsScreen();
         return this._tabbedLocation;
     },
 
     /**
      * @param {string} name
      */
     selectTab: function(name)
     {
-        this._tabbedLocation.showView(name);
+        WebInspector.viewManager.showView(name);

[dgozman, 2016/08/05 01:32:09]

I'm worried we will have name clashes soon.

     },
 
     /**
      * @param {!Event} event
      */
     _keyDown: function(event)
     {
         var shiftKeyCode = 16;
         if (event.keyCode === shiftKeyCode && ++this._developerModeCounter > 5)
             this.contentElement.classList.add("settings-developer-mode");
@@ skipping 469 matching lines @@
                 return;
             var settings = extension.descriptor()["settings"];
             if (settings && settings.indexOf(setting.name) !== -1) {
                 InspectorFrontendHost.bringToFront();
                 WebInspector.SettingsScreen._showSettingsScreen(extension.descriptor()["id"]);
                 success = true;
             }
         }
     }
 }