Preparing search index...
The search index is not available

Theia TypeDoc
plugin-ext
ObjectIdentifier

Interface ObjectIdentifier

interface ObjectIdentifier {
$ident: number;
}

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

Index

Properties

Properties

$ident

$ident: number

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

Settings

Member Visibility

Protected
Private
Inherited

Theme

On This Page

Loading...