[DevTools] Rename View to Widget.

Source/devtools/front_end/resources/FileContentView.js

Index: Source/devtools/front_end/resources/FileContentView.js
diff --git a/Source/devtools/front_end/resources/FileContentView.js b/Source/devtools/front_end/resources/FileContentView.js
index 2fce501de596325c3db8ae841069e9cafdf4fa6e..1429a16bd63cdff63566a3e287ecd7a7fc68a5fb 100644
--- a/Source/devtools/front_end/resources/FileContentView.js
+++ b/Source/devtools/front_end/resources/FileContentView.js
@@ -37,7 +37,7 @@ WebInspector.FileContentView = function(file)
 {
     WebInspector.VBox.call(this);
 
-    this._innerView = /** @type {?WebInspector.View} */ (null);
+    this._innerView = /** @type {?WebInspector.Widget} */ (null);
     this._file = file;
     this._content = null;
 }
@@ -47,9 +47,9 @@ WebInspector.FileContentView.prototype = {
     {
         if (!this._innerView) {
             if (this._file.isTextFile)
-                this._innerView = new WebInspector.EmptyView("");
+                this._innerView = new WebInspector.EmptyWidget("");
             else
-                this._innerView = new WebInspector.EmptyView(WebInspector.UIString("Binary File"));
+                this._innerView = new WebInspector.EmptyWidget(WebInspector.UIString("Binary File"));
             this.refresh();
         }