[DevTools] Rename View to Widget.

Source/devtools/front_end/source_frame/SourceFrame.js

Index: Source/devtools/front_end/source_frame/SourceFrame.js
diff --git a/Source/devtools/front_end/source_frame/SourceFrame.js b/Source/devtools/front_end/source_frame/SourceFrame.js
index 1278aad20f985295817c04d9337b26b3943d185b..872fd4b5e445641b43ab9402a8dcf9cc68974bef 100644
--- a/Source/devtools/front_end/source_frame/SourceFrame.js
+++ b/Source/devtools/front_end/source_frame/SourceFrame.js
@@ -126,7 +126,7 @@ WebInspector.SourceFrame.prototype = {
 
     willHide: function()
     {
-        WebInspector.View.prototype.willHide.call(this);
+        WebInspector.Widget.prototype.willHide.call(this);
 
         this._clearPositionToReveal();
     },
@@ -347,7 +347,7 @@ WebInspector.SourceFrame.prototype = {
      * @param {!WebInspector.SearchableView.SearchConfig} searchConfig
      * @param {boolean} shouldJump
      * @param {boolean} jumpBackwards
-     * @param {function(!WebInspector.View, number)} searchFinishedCallback
+     * @param {function(!WebInspector.Widget, number)} searchFinishedCallback
      */
     _doFindSearchMatches: function(searchConfig, shouldJump, jumpBackwards, searchFinishedCallback)
     {
@@ -372,7 +372,7 @@ WebInspector.SourceFrame.prototype = {
      * @param {!WebInspector.SearchableView.SearchConfig} searchConfig
      * @param {boolean} shouldJump
      * @param {boolean} jumpBackwards
-     * @param {function(!WebInspector.View, number)} searchFinishedCallback
+     * @param {function(!WebInspector.Widget, number)} searchFinishedCallback
      * @param {function(number)} currentMatchChangedCallback
      * @param {function()} searchResultsChangedCallback
      */