[web-bluetooth] Pull Request: Add Bluetooth.getDevices and permission storage from Ovidio Ruiz-Henríquez via GitHub on 2020-02-19 (public-web-bluetooth-log@w3.org from February 2020)

From: Ovidio Ruiz-Henríquez via GitHub <sysbot+gh@w3.org>
Date: Wed, 19 Feb 2020 20:38:22 +0000
To: public-web-bluetooth-log@w3.org
Message-ID: <pull_request.opened-377384080-1582144700-sysbot+gh@w3.org>

odejesush has just submitted a new pull request for https://github.com/WebBluetoothCG/web-bluetooth:

== Add Bluetooth.getDevices and permission storage ==
This change adds a getDevices() method to the Bluetooth interface to
make the API more consistent with other device APIs, such as [WebUSB](https://wicg.github.io/webusb).
Additionally, this change renames BluetoothPermissionData to
BluetoothPermissionStorage for consistency with other device APIs and
clarifies how Bluetooth device permissions are added to
BluetoothPermissionStorage.

See https://github.com/WebBluetoothCG/web-bluetooth/pull/476

Received on Wednesday, 19 February 2020 20:38:24 UTC