Theia API Documentation v1.74.0
    Preparing search index...
    ACTIVE_PERSPECTIVE_CONTEXT_KEY: "activePerspectiveId" = 'activePerspectiveId'