DeviceProximityEvent should use unrestricted double as property types

From: Olli Pettay <Olli.Pettay@helsinki.fi>
Date: Fri, 05 Apr 2013 00:54:16 +0300
To: public-device-apis@w3.org
Message-ID: <515DF688.7000803@helsinki.fi>

Hi all,

looks like the default values for the event properties are Infinity or -Infinity, and in order to
make that work, the type should be unrestricted double, not double.



-Olli

Received on Thursday, 4 April 2013 21:54:46 UTC