[DevTools] Rename View to Widget.

Source/devtools/front_end/console/ConsoleView.js

 /*
  * Copyright (C) 2007, 2008 Apple Inc.  All rights reserved.
  * 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:
  *
  * 1.  Redistributions of source code must retain the above copyright
  *     notice, this list of conditions and the following disclaimer.
@@ skipping 472 matching lines @@
             return;
         WebInspector.setCurrentFocusElement(this._promptElement);
         this._prompt.moveCaretToEndOfPrompt();
     },
 
     restoreScrollPositions: function()
     {
         if (this._viewport.scrolledToBottom())
             this._immediatelyScrollToBottom();
         else
-            WebInspector.View.prototype.restoreScrollPositions.call(this);
+            WebInspector.Widget.prototype.restoreScrollPositions.call(this);
     },
 
     onResize: function()
     {
         this._scheduleViewportRefresh();
         this._hidePromptSuggestBox();
         if (this._viewport.scrolledToBottom())
             this._immediatelyScrollToBottom();
     },
 
@@ skipping 934 matching lines @@
     handleAction: function(context, actionId)
     {
         WebInspector.console.show();
     }
 }
 
 /**
 * @typedef {{messageIndex: number, matchIndex: number}}
 */
 WebInspector.ConsoleView.RegexMatchRange;