[DevTools] Rename View to Widget.

Source/devtools/front_end/sources/SourcesNavigator.js

 /*
  * Copyright (C) 2011 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:
  *
  * 1. Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *
@@ skipping 34 matching lines @@
 }
 
 WebInspector.SourcesNavigator.Events = {
     SourceSelected: "SourceSelected",
     SourceRenamed: "SourceRenamed"
 }
 
 WebInspector.SourcesNavigator.prototype = {
     /**
      * @param {string} id
-     * @param {!WebInspector.View} view
+     * @param {!WebInspector.Widget} view
      */
     _navigatorViewCreated: function(id, view)
     {
         var navigatorView = /** @type {!WebInspector.NavigatorView} */ (view);
         navigatorView.addEventListener(WebInspector.NavigatorView.Events.ItemSelected, this._sourceSelected, this);
         navigatorView.addEventListener(WebInspector.NavigatorView.Events.ItemRenamed, this._sourceRenamed, this);
         this._navigatorViews.set(id, navigatorView);
         navigatorView.setWorkspace(this._workspace);
     },
 
     /**
-     * @return {!WebInspector.View}
+     * @return {!WebInspector.Widget}
      */
     get view()
     {
         return this._tabbedPane;
     },
 
     /**
      * @param {!WebInspector.UISourceCode} uiSourceCode
      */
     revealUISourceCode: function(uiSourceCode)
@@ skipping 117 matching lines @@
     /**
      * @override
      */
     sourceDeleted: function(uiSourceCode)
     {
         this._handleRemoveSnippet(uiSourceCode);
     },
 
     __proto__: WebInspector.NavigatorView.prototype
 }