[DevTools] Rename View to Widget.

Source/devtools/front_end/sources/SourcesNavigator.js

Index: Source/devtools/front_end/sources/SourcesNavigator.js
diff --git a/Source/devtools/front_end/sources/SourcesNavigator.js b/Source/devtools/front_end/sources/SourcesNavigator.js
index be68bc5989411f9a9874bb020f3b0349a12d0d8f..4f5997fb61fe47c5e5909f1eb1e285886e420ec8 100644
--- a/Source/devtools/front_end/sources/SourcesNavigator.js
+++ b/Source/devtools/front_end/sources/SourcesNavigator.js
@@ -52,7 +52,7 @@ WebInspector.SourcesNavigator.Events = {
 WebInspector.SourcesNavigator.prototype = {
     /**
      * @param {string} id
-     * @param {!WebInspector.View} view
+     * @param {!WebInspector.Widget} view
      */
     _navigatorViewCreated: function(id, view)
     {
@@ -64,7 +64,7 @@ WebInspector.SourcesNavigator.prototype = {
     },
 
     /**
-     * @return {!WebInspector.View}
+     * @return {!WebInspector.Widget}
      */
     get view()
     {