[DevTools] Rename View to Widget.

Source/devtools/front_end/sources/TabbedEditorContainer.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.
  *
@@ skipping 61 matching lines @@
     EditorSelected: "EditorSelected",
     EditorClosed: "EditorClosed"
 }
 
 WebInspector.TabbedEditorContainer._tabId = 0;
 
 WebInspector.TabbedEditorContainer.maximalPreviouslyViewedFilesCount = 30;
 
 WebInspector.TabbedEditorContainer.prototype = {
     /**
-     * @return {!WebInspector.View}
+     * @return {!WebInspector.Widget}
      */
     get view()
     {
         return this._tabbedPane;
     },
 
     /**
      * @type {!WebInspector.SourceFrame}
      */
     get visibleView()
@@ skipping 638 matching lines @@
     /**
      * @override
      * @param {!WebInspector.TabbedPane} tabbedPane
      * @param {!Array.<string>} ids
      */
     closeTabs: function(tabbedPane, ids)
     {
         this._editorContainer._closeTabs(ids);
     }
 }