[DevTools] Rename View to Widget.

Source/devtools/front_end/ui/Dialog.js

 /*
  * Copyright (C) 2012 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 167 matching lines @@
 
     focus: function() { },
 
     onEnter: function(event) { },
 
     willHide: function() { },
 
     __proto__: WebInspector.Object.prototype
 }
 
-/** @type {?WebInspector.View} */
+/** @type {?WebInspector.Widget} */
 WebInspector.Dialog._modalHostView = null;
 
 /**
- * @param {!WebInspector.View} view
+ * @param {!WebInspector.Widget} view
  */
 WebInspector.Dialog.setModalHostView = function(view)
 {
     WebInspector.Dialog._modalHostView = view;
 };
 
 /**
  * FIXME: make utility method in Dialog, so clients use it instead of this getter.
  * Method should be like Dialog.showModalElement(position params, reposition callback).
- * @return {?WebInspector.View}
+ * @return {?WebInspector.Widget}
  */
 WebInspector.Dialog.modalHostView = function()
 {
     return WebInspector.Dialog._modalHostView;
 };
 
 WebInspector.Dialog.modalHostRepositioned = function()
 {
     if (WebInspector.Dialog._instance)
         WebInspector.Dialog._instance._position();
 };