Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/collaboration
browser/collaboration-instance
COLLABORATION_SELECTION_MARKER

Variable COLLABORATION_SELECTION_MARKER`Const`

COLLABORATION_SELECTION_MARKER: "theia-collaboration-selection-marker" = 'theia-collaboration-selection-marker'

Defined in collaboration/src/browser/collaboration-instance.ts:66

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...