[DevTools] Rename View to Widget.

Source/devtools/front_end/ui/UIUtils.js

 /*
  * Copyright (C) 2011 Google Inc.  All rights reserved.
  * Copyright (C) 2006, 2007, 2008 Apple Inc.  All rights reserved.
  * Copyright (C) 2007 Matt Lilek (pewtermoose@gmail.com).
  * Copyright (C) 2009 Joseph Pecoraro
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  *
@@ skipping 179 matching lines @@
     dispose: function()
     {
         delete WebInspector._glassPane;
         if (WebInspector.GlassPane.DefaultFocusedViewStack.length)
             WebInspector.GlassPane.DefaultFocusedViewStack.peekLast().focus();
         this.element.remove();
     }
 }
 
 /**
- * @type {!Array.<!WebInspector.View|!WebInspector.Dialog>}
+ * @type {!Array.<!WebInspector.Widget|!WebInspector.Dialog>}
  */
 WebInspector.GlassPane.DefaultFocusedViewStack = [];
 
 /**
  * @param {?Node=} node
  * @return {boolean}
  */
 WebInspector.isBeingEdited = function(node)
 {
     if (!node || node.nodeType !== Node.ELEMENT_NODE)
@@ skipping 1059 matching lines @@
 
 ;(function() {
     registerCustomElement("button", "text-button", {
         /**
          * @this {Element}
          */
         createdCallback: function()
         {
             this.type = "button";
             var root = this.createShadowRoot();
-            root.appendChild(WebInspector.View.createStyleElement("ui/textButton.css"));
+            root.appendChild(WebInspector.Widget.createStyleElement("ui/textButton.css"));
             root.createChild("content");
         },
 
         __proto__: HTMLButtonElement.prototype
     });
 
     registerCustomElement("label", "dt-radio", {
         /**
          * @this {Element}
          */
         createdCallback: function()
         {
             this.radioElement = this.createChild("input", "dt-radio-button");
             this.radioElement.type = "radio";
 
             var root = this.createShadowRoot();
-            root.appendChild(WebInspector.View.createStyleElement("ui/radioButton.css"));
+            root.appendChild(WebInspector.Widget.createStyleElement("ui/radioButton.css"));
             root.createChild("content").select = ".dt-radio-button";
             root.createChild("content");
             this.addEventListener("click", radioClickHandler, false);
         },
 
         __proto__: HTMLLabelElement.prototype
     });
 
     /**
      * @param {!Event} event
      * @suppressReceiverCheck
      * @this {Element}
      */
     function radioClickHandler(event)
     {
         if (this.radioElement.checked || this.radioElement.disabled)
             return;
         this.radioElement.checked = true;
         this.radioElement.dispatchEvent(new Event("change"));
     }
 
     registerCustomElement("label", "dt-checkbox", {
         /**
          * @this {Element}
          */
         createdCallback: function()
         {
             var root = this.createShadowRoot();
-            root.appendChild(WebInspector.View.createStyleElement("ui/checkboxTextLabel.css"));
+            root.appendChild(WebInspector.Widget.createStyleElement("ui/checkboxTextLabel.css"));
             this.checkboxElement = this.createChild("input", "dt-checkbox-button");
             this.checkboxElement.type = "checkbox";
             root.createChild("content").select = ".dt-checkbox-button";
             root.createChild("content");
         },
 
         __proto__: HTMLLabelElement.prototype
     });
 
     registerCustomElement("label", "dt-icon-label", {
         /**
          * @this {Element}
          */
         createdCallback: function()
         {
             var root = this.createShadowRoot();
-            root.appendChild(WebInspector.View.createStyleElement("ui/smallIcon.css"));
+            root.appendChild(WebInspector.Widget.createStyleElement("ui/smallIcon.css"));
             this._iconElement = root.createChild("div");
             root.createChild("content");
         },
 
         /**
          * @param {string} type
          * @this {Element}
          */
         set type(type)
         {
             this._iconElement.className = type;
         },
 
         __proto__: HTMLLabelElement.prototype
     });
 
     registerCustomElement("div", "dt-close-button", {
         /**
          * @this {Element}
          */
         createdCallback: function()
         {
             var root = this.createShadowRoot();
-            root.appendChild(WebInspector.View.createStyleElement("ui/closeButton.css"));
+            root.appendChild(WebInspector.Widget.createStyleElement("ui/closeButton.css"));
             this._buttonElement = root.createChild("div", "close-button");
         },
 
         /**
          * @param {boolean} gray
          * @this {Element}
          */
         set gray(gray)
         {
             this._buttonElement.className = gray ? "close-button-gray" : "close-button";
@@ skipping 49 matching lines @@
         // Due to the nature of regex, |items| array has matched elements on its even indexes.
         var items = text.replace(regex, "\0$1\0").split("\0");
         for (var i = 0; i < items.length; ++i) {
             var processedNode = i % 2 ? processor(items[i]) : this._runProcessor(processorIndex + 1, items[i]);
             container.appendChild(processedNode);
         }
 
         return container;
     }
 }