Theia API Documentation v1.65.0
    Preparing search index...
    sessionId: string

    A unique identifier for the current session. Changes each time the editor is started.