[DevTools] Rename View to Widget.

Source/devtools/front_end/ui/SearchableView.js

 /*
  * Copyright (C) 2006, 2007, 2008 Apple Inc.  All rights reserved.
  * Copyright (C) 2007 Matt Lilek (pewtermoose@gmail.com).
  * Copyright (C) 2009 Joseph Pecoraro
  * 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:
  *
@@ skipping 227 matching lines @@
      * @return {!Element}
      */
     defaultFocusedElement: function()
     {
         var children = this.children();
         for (var i = 0; i < children.length; ++i) {
             var element = children[i].defaultFocusedElement();
             if (element)
                 return element;
         }
-        return WebInspector.View.prototype.defaultFocusedElement.call(this);
+        return WebInspector.Widget.prototype.defaultFocusedElement.call(this);
     },
 
     /**
      * @param {!Event} event
      */
     _onKeyDown: function(event)
     {
         var shortcutKey = WebInspector.KeyboardShortcut.makeKeyFromEvent(/**@type {!KeyboardEvent}*/(event));
         var handler = this._shortcuts[shortcutKey];
         if (handler && handler(event))
@@ skipping 473 matching lines @@
             // Silent catch.
         }
 
         // Otherwise just do a plain text search.
         if (!regex)
             regex = createPlainTextSearchRegex(query, modifiers);
 
         return regex;
     }
 }