[DevTools] Rename View to Widget.

Source/devtools/front_end/ui_lazy/OverviewGrid.js

 /*
  * Copyright (C) 2013 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 144 matching lines @@
     if (dividersLabelBarElement)
         WebInspector.installDragHandle(dividersLabelBarElement, this._startWindowDragging.bind(this), this._windowDragging.bind(this), null, "-webkit-grabbing", "-webkit-grab");
 
     this.windowLeft = 0.0;
     this.windowRight = 1.0;
 
     this._parentElement.addEventListener("mousewheel", this._onMouseWheel.bind(this), true);
     this._parentElement.addEventListener("dblclick", this._resizeWindowMaximum.bind(this), true);
 
     this._overviewWindowElement = parentElement.createChild("div", "overview-grid-window");
-    this._overviewWindowElement.appendChild(WebInspector.View.createStyleElement("ui_lazy/overviewGrid.css"));
+    this._overviewWindowElement.appendChild(WebInspector.Widget.createStyleElement("ui_lazy/overviewGrid.css"));
     this._overviewWindowBordersElement = parentElement.createChild("div", "overview-grid-window-rulers");
     parentElement.createChild("div", "overview-grid-dividers-background");
 
     this._currentPositionElement = parentElement.createChild("div", "overview-grid-current-position");
     this._currentPositionArea = parentElement.createChild("div", "overview-grid-window-area");
     this._currentPositionArea.addEventListener("mousemove", this._onMouseMove.bind(this), true);
     this._currentPositionArea.addEventListener("mouseout", this._hideCurrentPosition.bind(this), true);
 
     this._leftResizeElement = parentElement.createChild("div", "overview-grid-window-resizer");
     this._leftResizeElement.style.left = 0;
@@ skipping 318 matching lines @@
         position = Math.max(0, Math.min(position, this._width));
         if (position < this._startPosition) {
             this._windowSelector.style.left = position + "px";
             this._windowSelector.style.right = this._width - this._startPosition + "px";
         } else {
             this._windowSelector.style.left = this._startPosition + "px";
             this._windowSelector.style.right = this._width - position + "px";
         }
     }
 }