Theia API Documentation v1.65.0
    Preparing search index...

    Contribution for hooking into the backend lifecycle:

    • initialize()
    • configure(expressApp)
    • onStart(httpServer)
    • onStop()

    Implements

    Index

    Constructors

    Properties

    root: Deferred<undefined | string> = ...
    untitledWorkspaceService: UntitledWorkspaceService
    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

    • Removes untitled workspaces that are not among the most recently used workspaces. Use the untitledWorkspaceStaleThreshold to configure when to delete workspaces.

      Returns Promise<void>