Theia API Documentation v1.75.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/plugin-utils
common/plugin-model
PluginIdentifierSource

Interface PluginIdentifierSource

interface PluginIdentifierSource {
name: string;
publisher?: string;
}

Defined in common/plugin-model.ts:34

Index

Properties

name publisher?

Properties

name

name: string

Defined in common/plugin-model.ts:36

`Optional`publisher

publisher?: string

Defined in common/plugin-model.ts:35

Settings

Member Visibility

Protected
Inherited
External

Theme

On This Page

Properties

Eclipse Theia Website GitHub

Theia API Documentation v1.75.0

Loading...