diff --git a/index.html b/index.html index 265278f..ae14061 100644 --- a/index.html +++ b/index.html @@ -1373,9 +1373,9 @@
- [=remote end definition=] + {^remote end definition^}
-
+
PermissionsCommand = (
permissions.setPermission
)
@@ -1389,7 +1389,7 @@
The permissions.PermissionDescriptor Type
-
+
permissions.PermissionDescriptor = {
name: text,
}
@@ -1402,7 +1402,7 @@
The permissions.PermissionState Type
-
+
permissions.PermissionState = "granted" / "denied" / "prompt"
@@ -1427,7 +1427,7 @@
Command Type
-
+
permissions.setPermission = (
method: "permissions.setPermission",
params: permissions.SetPermissionParameters