mirror of
https://github.com/servo/servo.git
synced 2025-08-03 12:40:06 +01:00
script: Move code generation and webidl files to new script_bindings crate. (#35157)
Signed-off-by: Josh Matthews <josh@joshmatthews.net>
This commit is contained in:
parent
a88b59534f
commit
af8d7c2de7
469 changed files with 187 additions and 137 deletions
47
components/script_bindings/webidls/PermissionStatus.webidl
Normal file
47
components/script_bindings/webidls/PermissionStatus.webidl
Normal file
|
@ -0,0 +1,47 @@
|
|||
/* This Source Code Form is subject to the terms of the Mozilla Public
|
||||
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
||||
* file, You can obtain one at https://mozilla.org/MPL/2.0/. */
|
||||
|
||||
// https://w3c.github.io/permissions/#permissionstatus
|
||||
|
||||
dictionary PermissionDescriptor {
|
||||
required PermissionName name;
|
||||
};
|
||||
|
||||
enum PermissionState {
|
||||
"granted",
|
||||
"denied",
|
||||
"prompt",
|
||||
};
|
||||
|
||||
enum PermissionName {
|
||||
"geolocation",
|
||||
"notifications",
|
||||
"push",
|
||||
"midi",
|
||||
"camera",
|
||||
"microphone",
|
||||
"speaker",
|
||||
"device-info",
|
||||
"background-sync",
|
||||
"bluetooth",
|
||||
"persistent-storage",
|
||||
};
|
||||
|
||||
[Pref="dom_permissions_enabled", Exposed=(Window,Worker)]
|
||||
interface PermissionStatus : EventTarget {
|
||||
readonly attribute PermissionState state;
|
||||
attribute EventHandler onchange;
|
||||
};
|
||||
|
||||
dictionary PushPermissionDescriptor : PermissionDescriptor {
|
||||
boolean userVisibleOnly = false;
|
||||
};
|
||||
|
||||
dictionary MidiPermissionDescriptor : PermissionDescriptor {
|
||||
boolean sysex = false;
|
||||
};
|
||||
|
||||
dictionary DevicePermissionDescriptor : PermissionDescriptor {
|
||||
DOMString deviceId;
|
||||
};
|
Loading…
Add table
Add a link
Reference in a new issue