[DevTools] Fix integer/double values in emulation input fields.

Source/devtools/front_end/sdk/OverridesSupport.js

Index: Source/devtools/front_end/sdk/OverridesSupport.js
diff --git a/Source/devtools/front_end/sdk/OverridesSupport.js b/Source/devtools/front_end/sdk/OverridesSupport.js
index 597d521fa246c96404d376562fe6e4a3d36f879a..91ac3e517b5a94725554e127181e1128ad58138b 100644
--- a/Source/devtools/front_end/sdk/OverridesSupport.js
+++ b/Source/devtools/front_end/sdk/OverridesSupport.js
@@ -260,9 +260,19 @@ WebInspector.OverridesSupport.DeviceOrientation.clearDeviceOrientationOverride =
 /**
  * @param {string} value
  */
-WebInspector.OverridesSupport.inputValidator = function(value)
+WebInspector.OverridesSupport.integerInputValidator = function(value)
 {
-    if (value >= 0 && value <= 10000)
+    if (/^[\d]+$/.test(value) && value >= 0 && value <= 10000)
+        return "";
+    return WebInspector.UIString("Value must be non-negative integer");
+}
+
+/**
+ * @param {string} value
+ */
+WebInspector.OverridesSupport.doubleInputValidator = function(value)
+{
+    if (/^[\d]+(\.\d+)?|\.\d+$/.test(value) && value >= 0 && value <= 10000)

[apavlov, 2014/06/04 11:42:06]

This forbids the ".5" format common in the US

[dgozman, 2014/06/04 12:43:20]

There is a special \.\d+ branch for this format.

[apavlov, 2014/06/04 12:53:56]

Right, missed it.

         return "";
     return WebInspector.UIString("Value must be non-negative integer");

[apavlov, 2014/06/04 11:42:06]

integer -> float

[dgozman, 2014/06/04 12:43:20]

Done.

 }