Closed Bug 864270 Opened 12 years ago Closed 7 years ago

Merge DeviceProximityEvent and UserProximityEvent

Categories

(Core :: DOM: Device Interfaces, defect)

Product:
Core
Component:
DOM: Device Interfaces
Platform:
x86
macOS
Type:
defect
Priority:
Not set
Severity:
normal

Tracking

()

Status:
RESOLVED INVALID

People

(Reporter: annevk, Unassigned)

Details

In http://lists.w3.org/Archives/Public/public-device-apis/2013Apr/0048.html Doug suggests changing course from bug 751663 and merging these two event interfaces into a single event.
Neither of these events is even in the spec any more, but as mentioned in https://groups.google.com/d/msg/mozilla.dev.platform/45XApRxACaM/9Ij_SGwZBQAJ, we won't be removing them. Marking invalid.
Status: NEW → RESOLVED
Closed: 7 years ago
Resolution: --- → INVALID
You need to log in before you can comment on or make changes to this bug.