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