Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/plugin-ext
hosted/node/scanners/scanner-theia
IExtensionInfo

Interface IExtensionInfo

interface IExtensionInfo {
displayName?: string;
id: string;
}

Defined in packages/plugin-ext/src/hosted/node/scanners/scanner-theia.ts:129

Index

Properties

displayName? id

Properties

`Optional`displayName

displayName?: string

Defined in packages/plugin-ext/src/hosted/node/scanners/scanner-theia.ts:131

id

id: string

Defined in packages/plugin-ext/src/hosted/node/scanners/scanner-theia.ts:130

Settings

Member Visibility

Protected
Inherited
External

Theme

On This Page

Properties

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...