Interface EditSessionIdentityWillCreateEvent

interface EditSessionIdentityWillCreateEvent {
    token: CancellationToken;
    workspaceFolder: WorkspaceFolder;
    waitUntil(thenable: Thenable<any>): void;
}

Index

Properties

token workspaceFolder

Methods

Properties

`Readonly`token

token: CancellationToken

A cancellation token.

`Readonly`workspaceFolder

workspaceFolder: WorkspaceFolder

The workspace folder to create an edit session identity for.

Methods

waitUntil

waitUntil(thenable: Thenable<any>): void
eslint-disable-next-line @typescript-eslint/no-explicit-any
Parameters
- thenable: Thenable<any>
Returns void
- Defined in packages/plugin/src/theia.proposed.editSessionIdentityProvider.d.ts:87