Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface WorkspaceServer

Hierarchy

  • WorkspaceServer

Index

Methods

  • getMostRecentlyUsedWorkspace(): Promise<undefined | string>
  • getRecentWorkspaces(): Promise<string[]>
  • removeRecentWorkspace(uri: string): Promise<void>
  • setMostRecentlyUsedWorkspace(uri: string): Promise<void>