Theia API Documentation v1.66.0
    Preparing search index...
    id: "WorkspaceNodeId" = 'WorkspaceNodeId'