[DevTools] Rename View to Widget.

Source/devtools/front_end/ui/SoftContextMenu.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:
  * 1. Redistributions of source code must retain the above copyright
  *    notice, this list of conditions and the following disclaimer.
  * 2. Redistributions in binary form must reproduce the above copyright
  *    notice, this list of conditions and the following disclaimer in the
@@ skipping 39 matching lines @@
             return;
 
         this._document = document;
         this._x = x;
         this._y = y;
         this._time = new Date().getTime();
 
         // Create context menu.
         this._contextMenuElement = createElementWithClass("div", "soft-context-menu");
         var root = this._contextMenuElement.createShadowRoot();
-        root.appendChild(WebInspector.View.createStyleElement("ui/softContextMenu.css"));
+        root.appendChild(WebInspector.Widget.createStyleElement("ui/softContextMenu.css"));
         var menuElement = root.createChild("div");
         this._contextMenuElement.tabIndex = 0;
         this._contextMenuElement.style.top = y + "px";
         this._contextMenuElement.style.left = x + "px";
 
         menuElement.addEventListener("mouseup", consumeEvent, false);
         menuElement.addEventListener("keydown", this._menuKeyDown.bind(this), false);
 
         for (var i = 0; i < this._items.length; ++i)
             menuElement.appendChild(this._createMenuItem(this._items[i]));
@@ skipping 275 matching lines @@
 
     _discardSubMenus: function()
     {
         if (this._subMenu)
             this._subMenu._discardSubMenus();
         this._contextMenuElement.remove();
         if (this._parentMenu)
             delete this._parentMenu._subMenu;
     }
 }