Theia API Documentation v1.71.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/plugin-ext
common/object-identifier
ObjectIdentifier
name

Variable name`Const`

name: "$ident" = '$ident'

Defined in packages/plugin-ext/src/common/object-identifier.ts:22

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.71.0

Loading...