Theia API Documentation v1.72.1

Eclipse Theia Website GitHub

Preparing search index...

@theia/workspace
common/workspace-protocol
WorkspaceServer

Variable WorkspaceServer`Const`

WorkspaceServer: typeof WorkspaceServer = ...

The JSON-RPC workspace interface.

Defined in packages/workspace/src/common/workspace-protocol.ts:22
Defined in packages/workspace/src/common/workspace-protocol.ts:23

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.72.1

Loading...