[proximity] DeviceProximityEvent value should allow Infinity from Dominique Hazael-Massieux on 2013-08-14 (public-device-apis@w3.org from August 2013)

From: Dominique Hazael-Massieux <dom@w3.org>
Date: Wed, 14 Aug 2013 17:12:04 +0200
To: "public-device-apis@w3.org public-device-apis@w3.org" <public-device-apis@w3.org>
Message-ID: <1376493124.4130.163.camel@cumulustier>

Given that DeviceProximityEvent has values that can be initialized to
either positive or negative infinity, the min, max and value attributes
(as well as the related dictionary members in DeviceProximityEventInit)
should be using "unrestricted double" instead of double.

Dom

Received on Wednesday, 14 August 2013 15:12:18 UTC