Bug 1671598 [wpt PR 26128] - [AspectRatio] Fix divide by zero with a small float...
[gecko.git] / dom / webidl / DeviceProximityEvent.webidl
blob26ae0ce11c419e470661ba5f4c2fd601b4586102
1 /* -*- Mode: IDL; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
2 /* This Source Code Form is subject to the terms of the Mozilla Public
3  * License, v. 2.0. If a copy of the MPL was not distributed with this file,
4  * You can obtain one at http://mozilla.org/MPL/2.0/.
5  */
7 [Pref="device.sensors.proximity.enabled", Func="nsGlobalWindowInner::DeviceSensorsEnabled",
8  Exposed=Window]
9 interface DeviceProximityEvent : Event
11   constructor(DOMString type,
12               optional DeviceProximityEventInit eventInitDict = {});
14   readonly attribute double value;
15   readonly attribute double min;
16   readonly attribute double max;
19 dictionary DeviceProximityEventInit : EventInit
21   unrestricted double value = Infinity;
22   unrestricted double min = -Infinity;
23   unrestricted double max = Infinity;