DevTools: add emulation toggle button and splash screen.

Source/devtools/front_end/sdk/OverridesSupport.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 247 matching lines @@
         return "";
     return WebInspector.UIString("Value must be non-negative integer");
 }
 
 /**
  * @param {string} value
  * @return {string}
  */
 WebInspector.OverridesSupport.deviceScaleFactorValidator = function(value)
 {
-    if (!value || (/^[\d]+(\.\d+)?|\.\d+$/.test(value) && value >= 0 && value <= 10000))
+    if (!value || (/^[\d]+(\.\d+)?|\.\d+$/.test(value) && value >= 0 && value <= 10))
         return "";
     return WebInspector.UIString("Value must be non-negative float");
 }
 
 /**
  * @param {string} value
  * @return {string}
  */
 WebInspector.OverridesSupport.networkDomainsValidator = function(value)
 {
@@ skipping 708 matching lines @@
      * @return {!Element}
      */
     createDeviceSelect: function(document)
     {
         var deviceSelectElement = document.createElement("select");
         deviceSelectElement.disabled = WebInspector.overridesSupport.isInspectingDevice();
 
         var devices = WebInspector.OverridesSupport._phones.concat(WebInspector.OverridesSupport._tablets).concat(WebInspector.OverridesSupport._desktops);
         devices.sort();
 
-        var selectDevice = [WebInspector.UIString("<Select device>"), "", ""];
+        var selectDevice = [WebInspector.UIString("<Select model>"), "", ""];
         devices = devices.concat([selectDevice]);
         for (var i = 0; i < devices.length; ++i) {
             var device = devices[i];
             var option = new Option(device[0], device[0]);
             option.device = new WebInspector.OverridesSupport.Device(device[2], device[1]);
             deviceSelectElement.add(option);
         }
 
         deviceSelectElement.addEventListener("change", deviceSelected, false);
 
@@ skipping 73 matching lines @@
                     break;
                 }
             }
             if (!selectionRestored)
                 throughputSelectElement.selectedIndex = options.length - 1;
         }
 
         return throughputSelectElement;
     },
 
+    reveal: function()
+    {
+        WebInspector.Revealer.reveal(this);
+    },
+
     __proto__: WebInspector.Object.prototype
 }
 
 
 /**
  * @type {!WebInspector.OverridesSupport}
  */
 WebInspector.overridesSupport;