[DevTools] Rename View to Widget.

Source/devtools/front_end/ui/EmptyWidget.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:
  *
  *     * 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 14 matching lines @@
  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
 
 /**
  * @constructor
  * @extends {WebInspector.VBox}
  */
-WebInspector.EmptyView = function(text)
+WebInspector.EmptyWidget = function(text)
 {
     WebInspector.VBox.call(this);
-    this.registerRequiredCSS("ui/emptyView.css");
+    this.registerRequiredCSS("ui/emptyWidget.css");
     this.element.classList.add("empty-view");
     this.textElement = this.element.createChild("span");
     this._text = text;
 }
 
-WebInspector.EmptyView.prototype = {
+WebInspector.EmptyWidget.prototype = {
     wasShown: function()
     {
         this.textElement.textContent = this._text;
     },
 
     set text(text)
     {
         this._text = text;
         if (this.isShowing())
             this.textElement.textContent = this._text;
     },
 
     __proto__: WebInspector.VBox.prototype
 }