Options
All
  • Public
  • Public/Protected
  • All
Menu

Hierarchy

  • DefaultWorkspaceServer

Implements

Index

Constructors

Properties

envServer: EnvVariablesServer
root: Deferred<undefined | string> = ...
untitledWorkspaceStaleThreshold: number = 10

Untitled workspaces that are not among the most recent N workspaces will be deleted on start. Increase this number to keep older files, lower it to delete stale untitled workspaces more aggressively.

Methods

  • doInit(): Promise<void>
  • getMostRecentlyUsedWorkspace(): Promise<undefined | string>
  • getRecentWorkspaces(): Promise<string[]>
  • getRoot(): Promise<undefined | string>
  • getUserStoragePath(): Promise<string>
  • getWorkspaceURIFromCli(): Promise<undefined | string>
  • init(): void
  • onStart(): Promise<void>
  • readJsonFromFile(fsPath: string): Promise<undefined | object>
  • removeOldUntitledWorkspaces(): Promise<void>
  • removeRecentWorkspace(rawUri: string): Promise<void>
  • setMostRecentlyUsedWorkspace(rawUri: string): Promise<void>
  • workspaceStillExist(workspaceRootUri: string): boolean
  • writeToFile(fsPath: string, data: object): Promise<void>