Options
All
  • Public
  • Public/Protected
  • All
Menu

Hierarchy

  • WorkspaceExt

Implemented by

Index

Methods

  • $onWorkspaceLocationChanged(event: undefined | FileStat): void
  • $onWorkspaceTrustChanged(trust: undefined | boolean): void
  • $provideTextDocumentContent(uri: string): Promise<undefined | null | string>
  • $registerEditSessionIdentityProvider(scheme: string, provider: EditSessionIdentityProvider): Disposable